Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
Domenii publicaţii > Ştiinţe informatice + Tipuri publicaţii > Articol în revistã ştiinţificã
Autori: F.L. Tiplea, D.C. Marinescu
Editorial: Elsevier, Information Processing Letters, 96, p.54-58, 2005.
Rezumat:
The problem of deciding whether a given workflow net is k-sound for some k>=1 is known as structural soundness. We prove that structural soundness of workflow nets is decidable.
Cuvinte cheie: Workflow nets, soundness
URL: http://www.elsevier.com/wps/find/journaldescription.cws_home/505612/description#description