Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets

DOI10.1155/2015/392945MaRDI QIDQ1665580zbMATHOpenAlexWikidataFDO

Authors Lijing Chen, GuanJun Liu

Publication date 27 August 2018

Published in Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1155/2015/392945

Mathematics Subject Classification ID

Production models (90B30) 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

• Interacting workflow nets for workflow process re-engineering
• scientific article; zbMATH DE number 1445908
• Analyzing compatibility of services via resource conformance
• Complexity of the soundness problem of workflow nets
• Soundness of workflow nets: classification, decidability, and analysis

Cites work

• scientific article; zbMATH DE number 1445908 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Complexity of the soundness problem of workflow nets
• Compositional semantics for open Petri nets based on deterministic processes
• Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures
• Free Choice Petri Nets
• Soundness of workflow nets: classification, decidability, and analysis
• Structural soundness of workflow nets is decidable
• The ePNK: an extensible Petri net tool for PNML
• Understanding Petri Nets

Cited in

(3)

• On Determining the AND-OR Hierarchy in Workflow Nets
• scientific article; zbMATH DE number 1964837 (Why is no real title available?)
• Analyzing compatibility of services via resource conformance

Describes a project that uses

Uses Software

• ePNK

This page was built for publication: Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets

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