Information and Computation
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
A linear logic view of object petri nets
Fundamenta Informaticae - Special issue on Petri nets
Concurrent object-oriented programming and petri nets: advances in petri nets
Concurrent object-oriented programming and petri nets: advances in petri nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Concurrent object-oriented programming and petri nets
The Definition of Standard ML
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
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
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Formal and natural computing
Casl Reference Manual: The Complete Documentation Of The Common Algebraic Specification Language (LECTURE NOTES IN COMPUTER SCIENCE)
CPN tools for editing, simulating, and analysing coloured Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Proceedings of the 2008 Spring simulation multiconference
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
One kind of petri nets with systematized changeable structure
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
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
Web service orchestration with super-dual object nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Adaptive workflows for healthcare information systems
BPM'07 Proceedings of the 2007 international conference on Business process management
Nested Petri nets for adaptive process modeling
Pillars of computer science
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
ICGT'10 Proceedings of the 5th international conference on Graph transformations
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Nets-Within-Nets paradigm and grid computing
Transactions on Petri Nets and Other Models of Concurrency V
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
P- and t-systems in the nets-within-nets-formalism
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Complexity results for elementary hornets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
On Compositionality of Boundedness and Liveness for Nested Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Conservative Elementary Object Systems
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
On the Complexity of the Reachability Problem for Safe, Elementary Hornets
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |
High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we propose the new paradigm “nets and rules as tokens”, where in addition to nets as tokens also rules as tokens are considered. The rules can be used to change the net structure. This leads to the new concept of high-level net and rule systems, which allows to integrate the token game with rule-based transformations of P/T-systems. The new concept is based on algebraic high-level nets and on the main ideas of graph transformation systems. We introduce the new concept with the case study “House of Philosophers”, a dynamic extension of the well-known dining philosophers. In the main part we present a basic theory for rule-based transformations of P/T-systems and for high-level nets with nets and rules as tokens leading to the concept of high-level net and rule systems.