Business Process Modeling Using Petri Nets

DOI10.1007/978-3-642-38143-0_4zbMath1382.90043OpenAlexW2098639824MaRDI QIDQ4924447

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

Publication date: 31 May 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VII (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38143-0_4

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 (3)

Data and process resonance. Identifier soundness for models of information systems ⋮ Correctness Notions for Petri Nets with Identifiers ⋮ Control of Petri nets subject to strict temporal constraints using Max-Plus algebra

This page was built for publication: Business Process Modeling Using Petri Nets