Open Petri Nets as Semantic Model for Workflow Integration

DOI10.1007/978-3-540-40022-6_14zbMath1283.90022OpenAlexW1580113419MaRDI QIDQ5392166

Reiko Heckel

Publication date: 8 April 2011

Published in: Petri Net Technology for Communication-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-40022-6_14

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)

Related Items (2)

Resource Bisimilarity in Petri Nets is Decidable ⋮ Distributed synthesis of asynchronously communicating distributed process models

This page was built for publication: Open Petri Nets as Semantic Model for Workflow Integration