Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
- 6 June 2002
- book chapter
- Published by Springer Nature
- p. 121-141
- https://doi.org/10.1007/3-540-48068-4_9
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Relaxed Soundness of Business ProcessesPublished by Springer Nature ,2001
- LoLA A Low Level AnalyserPublished by Springer Nature ,2000
- THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENTJournal of Circuits, Systems and Computers, 1998
- Modeling and Analysis of Workflows Using Petri NetsJournal of Intelligent Information Systems, 1998
- Free Choice Petri NetsPublished by Cambridge University Press (CUP) ,1995
- On the synthesis of strategies in infinite gamesPublished by Springer Nature ,1995
- Infinite games played on finite graphsAnnals of Pure and Applied Logic, 1993
- Concurrent Programs as Strategies in GamesPublished by Springer Nature ,1992
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Nature ,1992
- On the synthesis of a reactive modulePublished by Association for Computing Machinery (ACM) ,1989