The semantics of shared submodules specifications
Proc. of the international joint conference on theory and practice of software development (TAPSOFT) Berlin, March 25-29, 1985 on Mathematical foundations of software development, Vol. 1: Colloquium on trees in algebra and programming (CAAP'85)
Computer tools for construction, modification and analysis of Petri nets
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Abstract and concrete categories
Abstract and concrete categories
A rule-based approach to modular system design
ICSE '90 Proceedings of the 12th international conference on Software engineering
Petri nets and algebraic specifications
Theoretical Computer Science
Vicinity respecting net morphisms
APN 90 Proceedings on Advances in Petri nets 1990
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
Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Incremental Development of Safety Properties in Petri Net Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
General Refinement and Recursion Operators for the Petri Box Calculus
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
From Graph Grammars to High Level Replacement Systems
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
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
Refinement and Simulation of Nets - A Categorical Characterisation
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
| Hi-index | 0.00 |
The incremental approach to stepwise development of models requires the ability to transform models (by replacing a submodel with another one) and to change the class of models (by adding features previously ignored). In the context of Petri Nets, this paper provides rigorous foundations for model transformations and net class transformations in the framework of high level replacement systems. We define net class transformations between elementary nets, place/transition nets and a new notion of algebraic high level nets and prove, among other results, that the two kinds of transformations are compatible. This is an important results for stepwise software development with Petri nets. The high abstraction level of the results allows an easy adaption to other specification techniques, such as e. g. Algebraic Specifications.