Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Structural Soundness for Workflow Nets is Decidable

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