Timing requirements are important aspects in workflow modelling, analysis and enactment. In the last few years, though, many workflow languages and tools have been proposed but only few of them address timing issues during enactment. This paper shows that time stream Petri nets (TSPNs), originally designed for multimedia/hypermedia modelling and analysis, are a well-suited formalism also for supporting the whole lifecycle of workflow processes with timing constraints. A novel approach to modelling, analysis and distributed enactment of workflow processes specified by TSPNs is proposed. Functional and temporal properties of a TSPN model can be checked using exhaustive verification or a DEVS-based simulation tool. Enactment rests on PN-Engine, a decentralized enactment engine based on the service-oriented computing paradigm, which enables execution of workflow processes where the coordinated activities may involve cross-boundary organizations. The approach is illustrated by means of a modelling example concerned with a wine-production process.
Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment / Cicirelli F; Furfaro A; Nigro L. - In: SIMULATION. - ISSN 0037-5497. - 89:1(2013), pp. 68-86.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
|Titolo:||Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment|
|Data di pubblicazione:||2013|
|Citazione:||Using Time Stream Petri Nets for Workflow Modelling Analysis and Enactment / Cicirelli F; Furfaro A; Nigro L. - In: SIMULATION. - ISSN 0037-5497. - 89:1(2013), pp. 68-86.|
|Appare nelle tipologie:||1.1 Articolo in rivista|