Inscriere cercetatori

Daca aveti cont Ad Astra si de Facebook, intrati pe pagina de profil pentru a da dreptul sa va logati pe site doar cu acest buton.

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:

Want create site? Find Free WordPress Themes and plugins.

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.

Did you find apk for android? You can find new Free Android Games and apps.

Cuvinte cheie: Workflow nets, soundness

URL: http://www.elsevier.com/wps/find/journaldescription.cws_home/505612/description#description