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.