A structure to decide reachability in Petri nets
Theoretical Computer Science
A linear logic view of object petri nets
Fundamenta Informaticae - Special issue on Petri nets
Concurrency in mobile object net systems
Fundamenta Informaticae - Concurrency specification and programming
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
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
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
On the Expressiveness of Communication Channels for Object Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Boundedness of adaptive nets is decidable
Information Processing Letters
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 article I will prove undecidability results for elementary object net systems (EOS). Object nets are Petri nets which have Petri nets as tokens - an approach which is called the "netswithin-nets" paradigm. EOS are special object net systems which have a two leveled structure.