Lectures on Concurrency and Petri Nets
From MaRDI portal
Publication:5712274
DOI10.1007/b98282zbMath1088.68669OpenAlexW78026558MaRDI QIDQ5712274
Publication date: 23 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98282
Workflow managementWorkflow verificationWorkflow management systemsBusiness process managementWorkflow patternsXML Process Definition Language(XPDL)
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
Discovery, Verification and Conformance of Workflows with Cancellation, Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized <scp>P</scp>etri Nets, Investigating the effort of using business process management technology: results from a controlled experiment, Unnamed Item, Soundness-preserving reduction rules for reset workflow nets
Uses Software