A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
A General Systematic Approach to Arc Extensions for Coloured Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
| Hi-index | 0.00 |
This paper presents the combination of two well established principles: the CO-OPN synchronisation mechanism, and the Merlin and Farber time Petri nets. Real-time synchronised Petri nets systems are then defined such that a Petri net is an object that can ask to be synchronised with another net, and whose transition firing is constrained by relative time intervals. Our proposal enables to define complex systems with compact specifications, whose semantics is given through a small set of Structured Operational Semantics (sos) rules. The applicability of the new model is shown by applying it to a traditional benchmark adopted in the literature of real-time systems.