Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Behaviour of elementary net systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Object-oriented modeling and design
Object-oriented modeling and design
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
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
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
On Processes of Object Petri Nets
On Processes of Object Petri Nets
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Ubiquitous systems and petri nets
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
Translation of nets within nets in cross-organizational software process modeling
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
A distributed implementation of mobile nets as mobile agents
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Providing an agent flavored integration for workflow management
Transactions on Petri Nets and Other Models of Concurrency V
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Modelling with Hierarchical Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
| Hi-index | 0.00 |
Objects are studied as higher-level net tokens having an individual dynamical behaviour. In the context of Petri net research it i s quite natural to also model such tokens by Petri nets. To distinguish them from the system net, they are called object nets. Object nets behave like tokens, i.e., they are lying in places and are moved by transitions. In contrast to ordinary tokens, however, they may change their state (i.e. their marking) when lying in a place or when being moved by a transition. By this approach an interesting and challenging two-level system modelling technique is introduced. Similar to the object-oriented approach, complex systems are modelled close to their real appearance in a natural way to promote clear and reliable concepts. Applications in fields like workflow, agent-oriented approaches (mobile agents and/or intelligent agents as in AI research) or open system networks are feasible. This paper gives a precise definition of the basic model together with a suitable process semantics. The focus is set more on basic concepts and their fundamental study than on high modelling capability.