For the most recent entries see the Petri Nets Newsletter.

Modeling safety-critical systems with Z and Petri nets.

Heiner, M.; Heisel, M.

In: Lecture Notes in Computer Science, Vol. 1698: Computer Safety, Reliability and Security, pages 361-374. Springer-Verlag, 1999.

Abstract: The paper shows how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. The approach is illustrated by modeling a part of a production cell and validating that model with respect to safety-related properties.

Keywords: Petri nets, Z, production systems, safety-critical systems.

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

Back to the Petri Nets Bibliography