STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
PEP - More than a Petri Net Tool
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Structure Preserving Encoding of Z in Isabelle/HOL
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
| Hi-index | 0.00 |
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.