Petri nets: an introduction
Nonsequential processes
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Seal: A Framework for Secure Mobile Computations
ICCL'98 Workshop on Internet Programming Languages
Mobility Types for Mobile Ambients
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
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
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Hi-index | 0.00 |
The Petri-net-based formalism of mobile object-net systems (Mons) is used to model concurrent systems with dynamically changing environments, such as mobile objects. The tokens in Mons are themselves Petri nets, which gives the formalism an additional (vertical) dimension of nesting. Traditional Petri nets have essentially a horizontal structure, given by the fact that markings are multisets. The question arises, whether Mons can be regarded as a canonical extension of such Petri nets. Due to the nested nature of Mons, the answer is not obvious. We first give the formal definition of Mons and then prove some properties of the formalism, showing that, with respect to interleaving semantics (i.e. firing sequences), Mons can indeed be viewed as a canonical extension of traditional Petri nets. We then define Mons processes, also as a canonical extension of standard Petri net processes.