Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Information and Computation
On the analysis and synthesis of free choice systems
APN 90 Proceedings on Advances in Petri nets 1990
Selected papers of the Second Workshop on Concurrency and compositionality
Systems modelling and simulation by means of predicate/transition nets and logic programming
IEA/AIE '94 Proceedings of the 7th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Model checking using net unfoldings
TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Rule-based refinement of high-level nets preserving safety properties
Science of Computer Programming - Specical issue on fundamental approaches to software engineering
The box algebra = Petri nets + process expressions
Information and Computation
Product Form Solution for Generalized Stochastic Petri Nets
IEEE Transactions on Software Engineering
Extensions to Coloured Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Input/Output Compatibility of Reactive Systems
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Orthogonal Transformations for Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
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
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Replacement of Open Interface Subnets and Stable State Transformation Equivalence
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Modeling and formal verification of embedded systems based on a Petri net representation
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Synthesis and verification
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Maintaining consistency in layered architectures of mobile ad-hoc networks
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to new requirements. For the transformation of Petri nets in the double pushout approach, the categorical framework of adhesive high-level replacement systems has been instantiated to Petri nets. In this paper, we show that also place/transition systems form a weak adhesive high-level replacement category. This allows us to apply the developed theory also to tranformations within reconfigurable place/transition systems.