A Systematic Approach towards Object-Based Petri Net Formalisms

Authors:
Berndt Farwer;Irina A. Lomazova
Affiliations:
-;-
Venue:
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Year:
2001

Citing 7
Cited 8

Linear logic

Theoretical Computer Science
A linear logic view of object petri nets

Fundamenta Informaticae - Special issue on Petri nets
A multi-region linear logic based calculus for dynamic petri net structures

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Nested petri nets - a formalism for specification and verification of multi-agent distributed systems

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
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
Some Decidability Results for Nested Petri Nets

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Dynamic modification of object Petri nets: an application to modelling protocols with fork-join structures

Fundamenta Informaticae
Some considerations on higher-order Petri nets

Fundamenta Informaticae - Concurrency specification and programming
Petri nets and resource bisimulation

Fundamenta Informaticae - Concurrency specification and programming
Comparing Concepts of Object Petri Net Formalisms

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Some Considerations on Higher-Order Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Petri nets and resource bisimulation

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures

Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Comparing Concepts of Object Petri Net Formalisms

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper aims at establishing the semantical background for extending Petri net formalisms with an object-oriented approach by bringing together Nested Petri Nets (NP-nets) of Lomazova and Linear Logic Petri nets (LLPNs) of Farwer. An introductory example shows the capabilities of these formalisms and motivates the proposed inter-encoding of two-level NP-nets and LLPNs. A conservative extension to the Linear Logic calculus of Girard is proposed - Distributed Linear Logic. This extension of Linear Logic gives a natural semantical background for multi-level arbitrary token nets.