In: Philippi, Stephan: Fachberichte Informatik, No. 7-2000: 7. Workshop Algorithmen und Werkzeuge für Petrinetze, 2.-3. Oktober 2000, Koblenz, Germany, pages 39-46. Universität Koblenz-Landau, Institut für Informatik, October 2000.
Abstract: The paper represents a Timed Signal Interpreted Petri Net (TSIPN) framework for specifying logic control systems. The main aspects of this framework are represented in this paper. Using this formalism a formal specification of a light control system is discussed.
Keywords: Petri net, formal specification.