Portal de Periódicos da CAPES

Modeling Safety-Critical Systems with Z and Petri Nets

1999; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-48249-0_31

1611-3349

Monika Heiner, Maritta Heisel,

Formal Methods in Verification

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.