Non-controllable choice robustness expressing the controllability of workflow processes

DOI10.1007/3-540-48068-4_9MaRDI QIDQ3045256zbMATH OpenFDO

Authors Juliane Dehnert

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600121.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reactive Petri Nets for Workflow Modeling
• Interacting workflow nets for workflow process re-engineering
• Soundness of resource-constrained workflow nets
• Resource-constrained workflow nets
• Model checking workflow net based on Petri net

Describes a project that uses

Uses Software

• LoLA

This page was built for publication: Non-controllable choice robustness expressing the controllability of workflow processes

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