From Business Process Fragments to Workflow Definitions

Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

Volumn P-56, Issue , 2004, Pages 95-106

  Simon, Carlo ^a   Dehnert, Juliane ^b  

^a Universität Koblenz Landau ^*  (Germany)

^b Fraunhofer Institute for Software and Systems Engineering (ISST)   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATION LANGUAGES; WORKFLOW MANAGEMENT;

BUSINESS PROCESS; EXECUTABLES; FORMAL DESCRIPTION; FORMAL SPECIFICATION LANGUAGE; PROCESS DESCRIPTIONS; PROCESS FRAGMENTS; WORK-FLOWS; WORKFLOW MANAGEMENT SYSTEMS;

PETRI NETS;

EID: 33646733274     PISSN: 16175468     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Aalst, W.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers. 8(1):21-66. 1998.
2. Caillaud, B.: Synet: A Tool for the Synthesis of Bounded Petri-Nets, Applications. Technical Report RR-3155. Inria, Institut National de Recherche en Informatique et en Automatique. 1997.
3. Couvreur, J. M. und Paviot-Adet, E.: New structural invariants for petri nets analysis. In: Valette (Hrsg.), Application and Theory of Petri Nets 1994. Lecture Notes in Computer Science 815. S. 199-218. Springer. 1994.
4. Dehnert, J.: A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis. TU Berlin. 2003.
5. Dehnert, J. und Rittgen, P.: Relaxed Soundness of Business Processes. In: Dittrich, K., Geppert, A., und Norrie, M. (Hrsg.), Advanced Information System Engineering, CAISE 2001. volume 2068 of LNCS. S. 157-170. Springer. 2001.
6. Dehnert, J. und Zimmermann, A.: Making Workflow Models Sound Using Petri Net Controller Synthesis. In: International Conference on Cooperative Information Systems. 2004. to appear.
7. Giua, A., DiCesare, F., und Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics. S. 974-979. Chicago, IL. 1992.
8. Ghaffari, A., Rezg, N., und X.Xie: Live and Maximally Permissive Controller Synthesis Using the Theory of Regions. In: Caillaud, B., Darondeau, P., Lavagno, L., und Xie, X. (Hrsg.), Synthesis and Control of Discrete Event System. S. 155-166. Kluwer Academic Press. 2002.
9. Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., und Weske, M. (Hrsg.), Business Process Management (BPM 2004). volume 3080 of Lecture Notes in Computer Science (LNCS). Potsdam, Germany. 2004. Springer.
10. Keller, G., Nüttgens, M., und Scheer, A. W.: Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89. University of Saarland, Saarbrücken. 1992.
11. Murata, T.: Petri Nets: Properties, Analysis, and Applications. Proc. of the IEEE. 77(4):541-580. April 1989.
12. Reisig, W. und Rozenberg, G. (Hrsg.): Lectures on Petri Nets I: Basic Model/II: Applications. volume 1491/1492 of LNCS. Springer. 1998.
13. Scheer, A. W.: Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises. Springer. 1994.
14. Simon, C.: A Logic of Actions and Its Application to the Development of Programmable Controllers. PhD thesis. Universität Koblenz-Landau. 2001.
15. Yamalidou, K., Moody, J., Lemmon, M., und Antsakli, P.: Feedback control of Petri nets based on place invariants. Automatica. 32(1):15-28. 1996.