Interacting workflow nets for workflow process re-engineering

DOI10.3233/FI-2010-275MaRDI QIDQ3081901zbMATH OpenOpenAlexFDO

Authors Irina A. Lomazova

Publication date 9 March 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2010-275

zbMATH Keywords

Petri netscompositionalitysoundnessworkflow modeling

Mathematics Subject Classification ID

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

Recommendations

• Soundness of workflow nets: classification, decidability, and analysis
• Soundness and separability of workflow nets in the stepwise refinement approach
• Applications and Theory of Petri Nets 2005
• Complexity of the soundness problem of bounded workflow nets
• Soundness of workflow nets with reset ARCS

Cited in

(11)

• Nested Nets for Adaptive Systems
• scientific article; zbMATH DE number 1445908 (Why is no real title available?)
• scientific article; zbMATH DE number 1983228 (Why is no real title available?)
• scientific article; zbMATH DE number 2088659 (Why is no real title available?)
• Soundness and separability of workflow nets in the stepwise refinement approach
• Compensation in Workflow Nets
• Modeling and monitoring of E-commerce workflows
• Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
• Evolutionary design through reflective Petri nets: an application to workflow
• Confusion analysis and detection for workflow nets
• An Introduction to iTasks: Defining Interactive Work Flows for the Web

This page was built for publication: Interacting workflow nets for workflow process re-engineering

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