Petri-Netze in der Angewandten Informatik: Einführung, Grundlagen und Perspektiven

Wirtschaftsinformatik

Volumn 38, Issue 4, 1996, Pages 359-367

  Desel, Jörg ^a   Oberweis, Andreas ^b  

^a UNIVERSITY OF KARLSRUHE   (Germany)

^b GOETHE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2742580448     PISSN: 09376429     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (35)

1. Abel, D.: Petri-Netze für Ingenieure: Modellbildung und Analyse diskret gesteuerter Systeme. Springer-Verlag, Berlin u.a. 1990.
2. Albert, K.; Jensen, K.; R. Shapiro, R.: DESIGN/CPN. A tool package supporting the use of coloured Petri nets. In: GI Petri Net Newsletter 32 (1989), S. 22-26.
3. Baumgarten, B.: Petri-Netze. Grundlagen und Anwendungen, AI-Wissenschaftsvertag, Mannheim u.a. 1990.
4. Bruno, G.: Model-based Software Engineering. Chapman & Hall, London 1995.
5. Davenport, T.H.: Process Innovation. Reengineering Work Through Information Technology. Harvard Business School Press, Boston/Massachusetts 1993.
6. Desrochers, A.A.; Al-Jaar, R.Y.: Applications of Petri Nets in Manufacturing Systems. IEEE Press, New York 1994.
7. Desel, J.; Esparza, J.: Free-Choice Petri Nets. Cambridge Tracts of Theoretical Computer Science, Cambridge University Press, Cambridge 1995.
8. Desel, J.; Merceron, A.: Vicinity Respecting Homomorphisms for Abstracting System Requirements. Institut AIFB der Universität Karlsruhe 1996.
9. Desel, J.; Oberweis, A.: Verifikation von Informationssystemen durch Auswertung halbgeordneter Petri-Netz-Abläufe: Theoretische Untersuchungen, Methodik und Werkzeug - eine Projekrübersicht. Institut AIFB der Universität Karlsruhe 1995.
10. DiCesare, F.; Harhalakis, G.; Proth, J.M.; Silva, M.; Vernadat, F.B.: Practice of Petri Nets in Manufacturing. Chapman & Hall, London 1993.
11. Dinkboff, G.; Grubn, V.: Entwicklung Workflow-Management-geeigneter Software-Systeme. In [VoBe96, 405-421].
12. Elgass, P.; Krcmar, H.; Oberweis, A.: Von der informalen zur formalen Geschäftsprozeßmodellierung. In: [VoBe96, 125-139].
13. Ellis, C.A.; Keddara, K.; Rozenberg, G.: Dynamic change within workflow systems. In: Proc. ACM Conference on Organizational Computing Systems, Milpitas/ California, 1995, S. 10-21.
14. Ellis, C.A.; Nutt, G.J.: Modeling and enactment of workflow systems. In: M.A. Marsan (Hrsg.): Proc. 14th Int. Conference on Application and Theory of Petri Nets 1993, LNCS 691, Springer-Verlag, Berlin u.a. (1993) S. 1-16.
15. INCOME User Manuals: INCOME/ Designer, INCOME/Dictionary, INCOME/ Generator, INCOME/Simulator. PROMATIS Informatik, Karlsbad 1996.
16. Jablonski, S.: Workflow-Managementsysteme. International Thomson Publishing, Bonn 1995.
17. Jensen, K.: Coloured Petri Nets. Volume 2. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin u.a. 1995.
18. Jensen, K.: Coloured Petri Nets. Volume 1. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin u.a., 2. Auflage 1996.
19. Krallmann, H.: Systemanalyse im Unternehmen. Geschäftsprozeßoptimierung, Partizipative Vorgehensmodelle, Objektorientierte Analyse. R. Oldenbourg Verlag, München u.a. 1994.
20. Merz, M.; Müller-Jones; Lamersdorf, K.W.: Petri-Netz-basierte Modellierung und Steuerung unternehmensübergreifender Geschäftsprozesse. In: F. Huber-Wäschle, H. Schauer, P. Widmayer (Hrsg.): GISI 95 - Herausforderungen eines globales Informationsverbundes für die Informatik. Springer-Verlag, Berlin u.a. 1995, S. 215-222.
21. Oberweis, A.: Modellierung und Ausführung von Workflows mit Petri-Netzen. Teubner Verlag, Stuttgart 1996.
22. Oberweis, A.; Sänger, V.: A graphical language for temporal data. In: Proc. Seventh International Working Conference on Scientific and Statistical Database Management. Charlottesville/Virginia 1994, S. 22-31.
23. Ochsenschläger, P.; Prinoth, R.: Modellierung verteilter Systeme. Vieweg Verlag, Wiesbaden 1995.
24. Petri, C.A.: Kommunikation mit Automaten. Schriften des Instituts für Instrumentelle Mathematik Nr.2, Bonn, 1962.
25. Reinwald, B.: Workflow-Management in verteilten Systemen. Teubner-Texte zur Informatik, Teubner Verlag, Stuttgart 1993.
26. Reisig, W.: Petrinetze - eine Einführung. Studienreihe Informatik, Springer-Verlag, Berlin u.a. 1982.
27. Reisig, W.: Systementwurf mit Netzen. Springer Compass, Springer-Verlag, Berlin u.a. 1985.
28. Rosenstengel, B.; Winand, U.: Petri-Netze - eine anwendungsorientierte Einführung. Vieweg Verlag Wiesbaden, 4. Auflage 1991.
29. Scheer, A.-W.: Wirtschaftsinformatik. Referenzmodelle für industrielle Geschäftsprozesse. Springer-Verlag, Berlin u.a., 4. Auflage 1994.
30. Starke, P.: Analyse von Petri-Netz-Modellen. Teubner Verlag. Stuttgart 1990
31. van Hee, K.M.: Information Systems Engineering. A Formal Approach. Cambridge University Press, Cambridge 1994.
32. Vossen, G.; Becker, J. (Hrsg.): Geschäftsprozeßmodellierung und Workflow Management. Modelle, Methoden, Werkzeuge. International Thomson Publishing, Bonn 1996.
33. Woetzel, G., Kreifelts, T.: The use of Petri nets for modeling workflow in the DOMINO system. In: Proc. Workshop on CSCW, Petri Nets and Related Formalisms, Chicago 1995.
34. Zloof, M.M.: Query-By-Example: The invocation and definition of tables and terms. In: D.S. Kerr (Hrsg.): Proc. Int. Conference on Very Large Data Bases. Framingham/Massachusetts 1975, S. 1-24.
35. Zuse, K.: Petri-Netze aus der Sicht des Ingenieurs. Vieweg Verlag, Wiesbaden 1980.