Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Category theory for computing science
Category theory for computing science
Information and Computation
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Process versus unfolding semantics for place/transition Petri nets
Theoretical Computer Science - Special volume on Petri nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
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
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 the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Mobile Petri Nets
Relating Different Semantics for Object Petri Nets
Relating Different Semantics for Object Petri Nets
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
The Reachability Problem for Object Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Complexity results for elementary hornets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
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 |
In this work we present the model of "mobile object net systems" -- an algebraic formalisation of the "nets within nets"-paradigm. The formalism of "mobile object nets" is well suited to express the dynamics of open, mobile systems, since it allows tokens to be active. The algebraic theory of "mobile object net systems" covers an integrated view of the two major topics concurrency and locality, which are central in the area of mobile computing. As a main result of this contribution, we derive an algebraic model in the "Petri nets are monoids" style. It is shown, that mobile object net systems are a conservative extension of the Petri net formalism.