On Soundness for Time Workflow Nets
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
892 2
Ultima descărcare din IBN:
2017-04-28 22:01
Căutarea după subiecte
similare conform CZU
004.91:519.71 (1)
Informatică aplicată. Tehnici bazate pe calculator cu aplicații practice (438)
Cibernetică matematică (93)
SM ISO690:2012
TITCHIEV, Inga. On Soundness for Time Workflow Nets. In: Computer Science Journal of Moldova, 2007, nr. 1(43), pp. 74-87. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 1(43) / 2007 / ISSN 1561-4042 /ISSNe 2587-4330

On Soundness for Time Workflow Nets
CZU: 004.91:519.71

Pag. 74-87

Titchiev Inga
 
Tiraspol State University
 
 
Disponibil în IBN: 11 decembrie 2013


Rezumat

Workflow technology is widely used in order to offer companies a solution for managing business processes. Time management is a critical component of workflow management. In a workflow management system there is a delay between the moment an activity becomes enabled and the moment the activity is executed by a certain resource. The notion of correctness also called soundness for untimed workflow nets is extended for Time Workflow Nets and a characterisation of this property is given for two particular classes of Time Workflow Nets.