Business process modeling using Petri nets

DOI10.1007/978-3-642-38143-0_4MaRDI QIDQ4924447zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2215868
• Four Steps Towards Sound Business Process Models
• scientific article; zbMATH DE number 2088651
• Business process modeling and validation using decision process Petri nets
• Formal verification of complex business processes based on high-level Petri nets

Cited in

(9)

• Data and process resonance. Identifier soundness for models of information systems
• scientific article; zbMATH DE number 1708021 (Why is no real title available?)
• scientific article; zbMATH DE number 1746623 (Why is no real title available?)
• Control of Petri nets subject to strict temporal constraints using Max-Plus algebra
• Modeling business processes. A Petri net-oriented approach
• Lectures on Concurrency and Petri Nets
• Correctness Notions for Petri Nets with Identifiers
• Analysis and application of transition systems based on Petri nets and relation matrices to business process management
• Preserving correctness during business process model configuration

This page was built for publication: Business process modeling using Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4924447)