Theoretical Computer Science
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Handbook of logic in computer science (vol. 4)
Proceedings of the 19th International Conference on Application and Theory of Petri Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Petri Nets, Horn Programs, Linear Logic, and Vector Games
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
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
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
On Processes of Object Petri Nets
On Processes of Object Petri Nets
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
Hi-index | 0.00 |
Object based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design of complex systems. So far object net approaches have been based on the presumption that the object nets' structure remains unchanged in all processes. This paper sheds some light on possible extensions of high-level Petri nets to incorporate the dynamical evolution of Petri net structures. The exposition is based on the Linear Logic encoding of Petri nets ([1], [12]) and coloured Petri nets ([4]). It provides a basic semantics for modifying net structures which can be employed in a framework of nets within nets, i.e. situations where Petri nets (so-called token nets) themselves are used as tokens in an underlying environment net.