Verification in factory and office automation

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2002, Pages 379-384

  Simon, Carlo ^a  

^a University of Koblenz   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COSTS; FORMAL LOGIC; OFFICE AUTOMATION; PETRI NETS; THEOREM PROVING;

WORKFLOW MANAGEMENT;

FACTORY AUTOMATION;

EID: 0038407422     PISSN: None     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSMC.2002.1176386     Document Type: Article

References (23)

1. C. G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. Kluwer Academic Pub, 1999.
2. J. Desel and T. Erwin. Modeling, simulation and analysis of business processes. In W. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management (Models, Techniques, and Empirical Studies). Springer, Berlin, 2000.
3. H.-M. Hanisch. Petri-Netze in der Verfahrenstechnik. Oldenbourg Verlag, München, 1992.
4. H.-M. Hanisch, K. Lautenbach, C. Simon, and J. Thieme. Timestamp Nets in Technical Applications. In IEEE Intern. Workshop on Discrete Event Systems, San Diego, CA, USA, 1998.
5. R. König and L. Quäck. Petri-Netze in der Steuerungsund Digitaltechnik. Oldenbourg Verlag, München, Wien, 1988.
6. K. Lautenbach and C. Simon. Erweiterte Zeitstempelnetze. Fachberichte Informatik 03-99, Universität Koblenz-Landau, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1999.
7. T. Mao. NetCase - Softwareentwurf und Workflow-Modellierung mit Petri-Netzen. PhD thesis, Universität Koblenz-Landau, 1998.
8. P. Merlin. A Study of the Recoverability of Computer Systems. PhD thesis, University California, Irvine, 1974.
9. J. L. Peterson. Petri-Net Theory and the Modelling of Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1981.
10. P. J. Ramadge and W. M. Wonham. Modular Feedback Logic for Discrete Event Systems. SIAM Journal of Control and Optimization, 25(5): 1202-1218, 1987.
11. P. J. Ramadge and W. M. Wonham. Supervisory Control of a Class of Discrete Event Processes. SIAM Journal of Control and Optimization, 25(1): 206-230, 1987.
12. C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Technical Report 120, MIT, Project MAC, Institut für Informatik, Rheinau 1, D-56075 Koblenz, 1974.
13. M. Rausch. Modulare Modellbildung, Synthese und Codegenerierung ereignisdiskreter Steuerungssysteme. PhD thesis, Otto von Guericke-Universität Magdeburg, 1996.
14. M. Rausch and H.-M. Hanisch. Netz-Condition / Event-Systeme. In E. Schnieder, editor, Entwurf komplexer Automatisierungssysteme (Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel), pages 55-71, Braunschweig, 1995.
15. H. Ridder. Analyse von Petri-Netz Modellen mit Entscheidungsdiagrammen. PhD thesis, Universität Koblenz-Landau, 1997.
16. C. Simon. Developing Software Controllers with Petri Nets and a Logic of Actions. In IEEE International Conference on Robotics and Automation, ICRA 2001, Seoul, Korea, 2001.
17. C. Simon. A Logic of Actions and Its Application to the Development of Programmable Controllers. PhD thesis, Universität Koblenz-Landau, 2001.
18. R. S. Sreenivas and B. H. Krogh. Pëtri Net based Models for Condition/Event Systems. Proceedings of 1991 American Control Conference, 3: 2899-2904, 1991.
19. W. van der Aalst and K. van Hee. Workflow Management - Models, Methods, and Systems. MIT Press, Cambridge, Massachusetts, 2002.
20. W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 1998.
21. K. M. van Hee and H. A. Reijers. Using Formal Analysis Techniques in Business Process Redesign. In W. van der Aalst, J. Desel, and A. Oberweis, editors, Business Process Management (Models, Techniques, and Empirical Studies). Springer, Berlin, 2000.
22. Workflow Management Coalition, http://www.wfmc.org/. Terminology and Glossary, issue 2.0 edition, June 1996.
23. M. Zhou and K. Venkatesh. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri net Approach, volume 6 of Intelligent Control and Intelligent Automation. World Scientific, Singapore, New Jersey, 1999.