How to write parallel programs: a first course
How to write parallel programs: a first course
IEEE Transactions on Software Engineering
Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
GDEVS: A generalized discrete event specification for accurate modeling of dynamic systems
Transactions of the Society for Computer Simulation International
Jini and Java Spaces Application Development
Jini and Java Spaces Application Development
Core JINI
Theory of Modeling and Simulation
Theory of Modeling and Simulation
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Time Stream Petri Nets: A Model for Timed Multimedia Information
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Service-based software: the future for flexible software
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
SAINT-W '03 Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT'03 Workshops)
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Conceptual Modeling of Temporal Clinical Workflows
TIME '07 Proceedings of the 14th International Symposium on Temporal Representation and Reasoning
Conflict management in PDEVS: an experience in modelling and simulation of time petri nets
Proceedings of the 2007 Summer Computer Simulation Conference
Actor-Based Simulation of PDEVS systems over HLA
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
A Time Management Method in Workflow Management System
GPC '09 Proceedings of the 2009 Workshops at the Grid and Pervasive Computing Conference
Workflow simulation for operational decision support
Data & Knowledge Engineering
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Dynamic, extensible and context-aware exception handling for workflows
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
Protos 7.0: simulation made accessible
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Timing constraint workflow nets for workflow analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling logical and temporal synchronization in hypermedia systems
IEEE Journal on Selected Areas in Communications
Hi-index | 0.00 |
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.