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
A calculus of mobile processes, I
Information and Computation
Process versus unfolding semantics for place/transition Petri nets
Theoretical Computer Science - Special volume on Petri nets
A linear logic view of object petri nets
Fundamenta Informaticae - Special issue on 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
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Petri Net Processes for Zero-Safe Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
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
Electronic Notes in Theoretical Computer Science (ENTCS)
The Reachability Problem for Object Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
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
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
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Reference and value semantics are equivalent for ordinary object petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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
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.