Model validation in controller design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3098, Issue , 2004, Pages 467-495

  Desel, Jörg ^a   Milijic, Vesna ^a   Neumair, Christian ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; ITERATIVE METHODS; PETRI NETS; SEMANTICS;

AUTOMATION SYSTEMS; CONTROLLED SYSTEM; CONTROLLER DESIGNS; FORMAL DESCRIPTION; FORMAL PROCESS MODELS; GRAPHICAL REPRESENTATIONS; MODEL CONSTRUCTION; SIMULATION-BASED METHOD;

PROCESS CONTROL;

EID: 35048858789     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_13     Document Type: Article

References (16)

1. Desel, J.: Validation of System Models Using Partially Ordered Runs. In Szczerbicka, H. (Ed.): Modelling and Simulation: A Tool for the Next Millenium, Proc. of the 13th European Simulation Multiconference ESM'99, Warschau, Society for Computer Simulation, 295-302, 1999.
2. Desel, J.: Validation of Process Models by Construction of Process Nets. In van der Aalst, W., Desel, J., Oberweis A. (Eds.): Business Process Management, LNCS 1806. Springer-Verlag, 110-128, 2000.
3. Desel, J.: Simulation of Petri Net Processes. In Kozk,., Huba, M. (Eds.): Proc. of the IFAC Conference on Control System Design, Bratislava, 14-25, 2000.
4. Desel, J.: Teaching System Modeling, Simulation and Validation. In Joines, J.A., Barton, R.R., Kang, K., Fishwick, P.A. (Eds.): Proc. of the 2000 Winter Simulation Conference, WSC'00, Orlando, 1669-1675, 2000.
5. Desel, J.: Model Validation - A Theoretical Issue? In Esparza, J., Lakos, Ch. (Eds.): Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets 2002, ICATPN 2002, LNCS 2360. Springer-Verlag, 23-13, 2002.
6. Desel J., Juhás G., Lorenz R.: Process Semantics and Process Equivalence of NCEM. In Proc 7. Workshop Algorithmen und Werkzeuge für Petrinetze AWPN 2000, Fachberichte Informatik, Universität Koblenz - Landau, 7-12, 2000.
7. Desel J., Juhás G., Lorenz R.: Input/Output Equivalence of Petri Modules. In Proc. of the 6th Biennial World Conference on Integrated Design and Process Technology IDPT 2002, Pasadena, California, 2002.
8. Desel J., Juhás G., Lorenz R., Milijic V., Neumair Ch., Schieber, R.: Modellierung von Steuerungssystemen mit Signal-Petrinetzen - eine Fallstudie aus der Automobilindustrie. In Schnieder, E. (Ed.): 8. Fachtagung Entwurf komplexer Automatisierungssysteme 2003, Proceedings of EKA 2003, Braunschweig, 273-297, 2003.
9. Desel J., Juhás C., Lorenz R., Neumair Ch.: Modelling and Validation with Vip-Tool In Proc. of the International Conference on Business Process Management, LNCS 3080, Springer-Verlag, 2003.
10. Genrich, H., Thieler-Mevissen, G.: The Calculus of Facts. Mathematical Foundations of Computer Science, Springer-Verlag, 588-595, 1976.
11. Hanisch H.-M., Lüder A.: A Signal Extension for Petri nets and its Use in Controller Design. Fundamenta Informaticae, 41(4), 415-431, 2000.
12. Hanisch H.-M., Lüder A., Rausch M.: Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Obersvation. European Journal of Control, (3), 280-291, 1997.
13. Hanisch H.-M., Thieme J., Lüder A.: Towards a Synthesis Method for Distributed Safety controllers Based on Net Condition/Event Systems. Journal of Intelligent Manufacturing, (5), 357-368, 1997.
14. Juhás G., Lorenz R.: Modelling with Petri Modules. In Caillaud, B., Darondeau, Ph., Lavagno, L., Xie, X. (Eds.) Synthesis and Control of Discrete Event Systems, 125-138, Kluwer, 2002.
15. Juhás G., Lorenz R., Neumair Ch.: Modelling and Control with Modules of Signal Nets. In Desel J., Reisig W., and Rozenberg G. (Eds.): Lectures on Concurrency and Petri Nets, LNCS, Springer, 2004 (In this volume).
16. Sreenivas R. S., Krogh B. H.: Petri Net Based Models for Condition/Event Systems. In Proceedings of 1991 American Control Conference, vol. 3, 2899-2904, Boston, MA, 1991.