For the most recent entries see the Petri Nets Newsletter.

TSIPN Framework for Formal Specification of Logic Control Systems.

Xiying, W.; Merz, R.M.; Litz, L.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography