Information and Computation
High-level Petri nets: theory and application
High-level Petri nets: theory and application
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
High-level replacement systems applied to algebraic specifications and Petri nets
Handbook of graph grammars and computing by graph transformation
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
Parallel systems specitications with coloured Petri nets and algebraic specifications
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
| Hi-index | 0.00 |
Our approach of rule-based refinement provides a formal description for the stepwise system development based on Petri nets. Rules with a left-hand and a right-hand side allow replacing subnets in a given algebraic high-level net system. The extension of these rules supports the preservation of system properties. In this paper we extend the preservation of safety properties significantly. We define rules, that introduce new safety properties. In our new approach we propose first the verification of properties at the moment they can be expressed and then their preservation further on. Hence, properties can be checked as long as the system is still small. Moreover, introducing properties allows checking these for the relevant subpart only. Changes that are required later on can be treated the same way and hence preserve the system properties. Hence, we have made a step towards a formal technique for the stepwise system development during analysis and design.