A Linear Logic View of Object Petri Nets

Authors:
Berndt Farwer
Affiliations:
(Correspd.) Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany. e-mail: farwer@informatik.uni-hamburg.de
Venue:
Fundamenta Informaticae
Year:
1999

Citing 4
Cited 12

Linear logic

Theoretical Computer Science
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
On Processes of Object Petri Nets

On Processes of Object Petri Nets

On the Expressiveness of Communication Channels for Object Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
The Reachability Problem for Object Nets

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Properties of Super-Dual Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Mobile Object-Net Systems and their Processes

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A New Synchronisation Model for Multi-Level Object Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Concurrency in Mobile Object Net Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Modelling with Hierarchical Object Petri Nets

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)
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets

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)
Nested Petri Nets: Multi-level and Recursive Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Linear Logic [4] has been shown to incorporate a fragment suitable for representing P/T-nets and giving a semantics to the computations of such nets (e.g. [1], [6], [2]). This result is generalised to coloured nets. Furthermore a new kind of high-level nets is defined: Linear Logic Petri Nets (LLPN). These nets are used as an intuitive semantics to well-known and new high-level net concepts like object systems ([8], [12], and [10]) and agent orientation.