Model Validation in Controller Design

  • Jörg Desel
  • Vesna Milijic
  • Christian Neumair
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3098)


This work considers model construction and validation in controller design. The problem we are interested in is to derive a formal model of a controlled automation system from a semi-formal description of the uncontrolled plant and various requirements concerning the plant and the processes of the controlled system. These requirements are originally formulated on many different abstraction levels, partly employing formal notations, partly using just natural language and partly consisting of mixtures of both. Moreover, they are often incomplete, contain errors, contradict each other and assume some domain knowledge which is typically not explicitly stated. So a crucial part of the model construction process is the formalization of the plant and of the requirements as well as validation of the derived models. We suggest a simulation-based method which employs formal and graphical representations of process models and specifications and which involves an iterative process of formalization and validation of requirements. The approach is based on particular Petri nets, called signal nets, as formal process models and partially ordered runs as their semantics. This contribution also reports on a case study from the automotive industry.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Desel, J.: Validation of System Models Using Partially Ordered Runs. In: Szczerbicka, H. (ed.) Proc. of the 13th European Simulation Multiconference ESM 1999, Modelling and Simulation: A Tool for the Next Millenium, Warschau, Society for Computer Simulation, pp. 295–302 (1999)Google Scholar
  2. 2.
    Desel, J.: Validation of Process Models by Construction of Process Nets. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 110–128. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  3. 3.
    Desel, J.: Simulation of Petri Net Processes. In: Kozk, Huba, M. (eds.) Proc. of the IFAC Conference on Control System Design, Bratislava, pp. 14–25 (2000)Google Scholar
  4. 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 2000, Orlando, pp. 1669–1675 (2000)Google Scholar
  5. 5.
    Desel, J.: Model Validation - A Theoretical Issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 23–43. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  6. 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, pp. 7–12 (2000)Google Scholar
  7. 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)Google Scholar
  8. 8.
    Desel, J., Juhás, G., Lorenz, R., Milijic, V., Neumair, C., 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, pp. 273–297 (2003)Google Scholar
  9. 9.
    Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and Validation with Vip- Tool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380–389. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  10. 10.
    Genrich, H., Thieler-Mevissen, G.: The Calculus of Facts. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 588–595. Springer, Heidelberg (1976)Google Scholar
  11. 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)zbMATHGoogle Scholar
  12. 12.
    Hanisch, H.-M., Lüder, A.: Controller Synthesis for Net Condition/Event Systems with a Solution for Incomplete State Obersvation. European Journal of Control (3), 280–291 (1997)Google Scholar
  13. 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)Google Scholar
  14. 14.
    Juhás, G., Lorenz, R.: Modelling with Petri Modules. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 125–138. Kluwer, Dordrecht (2002)Google Scholar
  15. 15.
    Juhás, G., Lorenz, R., Neumair, C.: Modelling and Control with Modules of Signal Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 585–625. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  16. 16.
    Sreenivas, R.S., Krogh, B.H.: Petri Net Based Models for Condition/Event Systems. In: Proceedings of 1991 American Control Conference, Boston, MA, vol. 3, pp. 2899–2904 (1991)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Jörg Desel
    • 1
  • Vesna Milijic
    • 1
  • Christian Neumair
    • 1
  1. 1.Lehrstuhl für Angewandte InformatikKatholische Universität Eichstätt–IngolstadtEichstättGermany

Personalised recommendations