We show 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. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.
CITATION STYLE
Heiner, M., & Heisel, M. (1999). Modeling safety-critical systems with Z and petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1698, pp. 361–374). Springer Verlag. https://doi.org/10.1007/3-540-48249-0_31
Mendeley helps you to discover research relevant for your work.