Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
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
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A reduction theory for coloured nets
Advances in Petri Nets 1989, covers the 9th European Workshop on Applications and Theory in Petri Nets-selected papers
On liveness preservation by composition of nets via a set of places
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Hierarchical High Level Petri Nets for Complex System Analysis
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
H-COSTAM: a hierarchical communicating state-machine model for generic prototyping
RSP '95 Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP'95)
Control properties in object-oriented specifications
Concurrent object-oriented programming and petri nets
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FrameKit and the prototyping of CASE environments
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Formal architectural models for agent-based service systems
International Journal of Computer Applications in Technology
| Hi-index | 0.00 |
This paper proposes a methodology to build safe distributed systems that considers both conceptual and operational description aspects. At the conceptual level, we focus on the safety properties expected from the system. Such properties are stated and then verified. At the operational level, we focus on properties addressing the optimization of the generated code. Traceability between the two levels is managed in a satisfactory semi-automatic way. It preserves the properties proved at the first level and discards informations that are not relevant for code generation.