Refinement of Synchronizable Places with Multi-workflow Nets

DOI10.1007/978-3-642-21834-7_9zbMath1330.68218OpenAlexW2179822061MaRDI QIDQ3011886

Jan Martijn E. M. van der Werf, K. M. van Hee, Natalia Sidorova

Publication date: 29 June 2011

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21834-7_9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Uses Software

• Woflan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular construction and partial order semantics of Petri nets
• A method for stepwise refinement and abstraction of Petri nets
• Three measures for synchronic dependence in Petri nets
• Diagnosing Workflow Processes using Woflan
• Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
• Free Choice Petri Nets
• Applications and Theory of Petri Nets 2004
• Inheritance of behavior

This page was built for publication: Refinement of Synchronizable Places with Multi-workflow Nets