On the development of reactive systems
Logics and models of concurrent systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A signal extension for Petri nets and its use in controller
Fundamenta Informaticae
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Design Methods for Software Systems: YOURDON, Statemate and Uml
Design Methods for Software Systems: YOURDON, Statemate and Uml
Petri Net Technology for Communication-Based Systems: Advances in Petri Nets (Lecture Notes in Computer Science, 2472)
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Complexity metrics for Workflow nets
Information and Software Technology
Property-Transition-Net-Based Workflow Process Modeling and Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Business process management with unified modeling language
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Uniting global and local context behavior with context Petri nets
Proceedings of the International Workshop on Context-Oriented Programming
Hi-index | 0.00 |
Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actually used at run time. At run time, a workflow model prescribes behavior of a reactive system (the workflow engine). But the token-game semantics models behavior of closed, active systems. Thus, the token-game semantics behavior of a Petri net-based workflow model will differ considerably from its behavior at run time. In this paper we define a reactive semantics for Petri nets. This semantics can model behavior of a reactive system and its environment. We compare this semantics with the token-game semantics and prove that under some conditions the reactive semantics and the token-game semantics induce similar behavior. Next, we apply the reactive semantics to workflow modeling and show how a workflow net can be transformed into a reactive workflow net. We prove that under some conditions the soundness property of a workflow net is preserved when the workflow net is transformed into a reactive workflow net. This result shows that to analyze soundness, the token-game semantics can safely be used, even though that semantics is not reactive.