Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Information and Computation
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
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
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
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
On the analysis and synthesis of free choice systems
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
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
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
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)
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Maintaining consistency in layered architectures of mobile ad-hoc networks
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Oclets --- Scenario-Based Modeling with Petri Nets
PETRI NETS '09 Proceedings of the 30th 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 of the environment. In this paper we use transformation rules for place/transition systems in the sense of the double pushout approach for graph transformation. The main problem in this context is to analyze under which conditions net transformations and token firing can be executed in arbitrary order. This problem is solved in the main theorems of this paper. Reconfigurable place/transition systems then are applied in a mobile network scenario.