Comparing Petri Net and Activity Diagram Variants for Workflow Modelling – A Quest for Reactive Petri Nets

This publication has 33 references indexed in Scilit:

• Petri net-based modelling of workflow systems: An overview
  European Journal of Operational Research, 2001
• Specification and implementation of exceptions in workflow management systems
  ACM Transactions on Database Systems, 1999
• A reference architecture for workflow management systems
  Data & Knowledge Engineering, 1998
• The STATEMATE semantics of statecharts
  ACM Transactions on Software Engineering and Methodology, 1996
• Contextual nets
  Acta Informatica, 1995
• Requirements specification for process-control systems
  IEEE Transactions on Software Engineering, 1994
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• A theory of bipolar synchronization schemes
  Theoretical Computer Science, 1984