Modeling Safety-Critical Systems with Z and Petri Nets

Modeling Safety-Critical Systems with Z and Petri Nets

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 wi...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Heiner, Monika, Heisel, Maritta
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Concurrent Operation
Control theory. Systems
Exact sciences and technology
Feed Belt
Modelling and identification
Place Invariant
Programming theory
Reachable Marking
Rotary Table
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-48249-0_31