INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
Free choice Petri nets
Information system behavior specification by high level Petri nets
ACM Transactions on Information Systems (TOIS)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Schedulability Analysis of Petri Nets Based on Structural Properties
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Control Synthesis For Discrete Event Systems: A Semantic Framework Based On Open Petri Nets
Journal of Integrated Design & Process Science - Component-Based System Development
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a process to behave in a desirable way. Process models that behave properly without any control are often called "sound". For process models that behave properly when being controlled, i.e., for controllable processes, there are various related notions, such as "relaxed soundness" and "weak soundness". We argue that both, the usual notion of sound behavior and the usual notion of control by message passing can be generalized. This way, control synthesis results obtained in the field of automation can be reformulated and reused for business process models and in the area of web services.