Reactive Petri Nets for Workflow Modeling
- 27 May 2003
- book chapter
- Published by Springer Nature
- p. 296-315
- https://doi.org/10.1007/3-540-44919-1_20
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Algorithms and Data StructuresPublished by Springer Nature ,2003
- Non-controllable Choice Robustness Expressing the Controllability of Workflow ProcessesPublished by Springer Nature ,2002
- Software Product-Family EngineeringPublished by Springer Nature ,2002
- THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENTJournal of Circuits, Systems and Computers, 1998
- On the analysis of Petri nets with static prioritiesActa Informatica, 1996
- The STATEMATE semantics of statechartsACM Transactions on Software Engineering and Methodology, 1996
- Modellierung und Ausführung von Workflows mit Petri-NetzenPublished by Springer Nature ,1996
- Grafcet: a powerful tool for specification of logic controllersIEEE Transactions on Control Systems Technology, 1995
- The Esterel synchronous programming language: design, semantics, implementationScience of Computer Programming, 1992
- On the Development of Reactive SystemsPublished by Springer Nature ,1985