A Comparison of Petri Net Semantics under the Collective Token Philosophy

Authors:
Roberto Bruni;José Meseguer;Ugo Montanari;Vladimiro Sassone
Affiliations:
-;-;-;-
Venue:
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Year:
1998

Citing 16
Cited 8

Petri nets: an introduction

Petri nets: an introduction
Petr nets, algebras, morphisms, and compositionality

Information and Computation
Sequential and concurrent behaviour in Petri net theory

Theoretical Computer Science
Petri nets are moniods

Information and Computation
An event structure semantics for general Petri nets

Theoretical Computer Science - Special volume on Petri nets
Process versus unfolding semantics for place/transition Petri nets

Theoretical Computer Science - Special volume on Petri nets
An axiomatization of the algebra of Petri net concatenable processes

Theoretical Computer Science
Membership algebra as a logical framework for equational specification

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Mapping tile logic into rewriting logic

WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Representation Theorems for Petri Nets

Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
A logic for distributed transition sytems

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
An introduction to event structures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Configuration Structures

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
Higher Dimensional Transition Systems

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An axiomatization of the category of Petri net computations

Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets

Mathematical Structures in Computer Science

Algebraic Models for Contextual Nets

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Two Algebraic Process Semantics for Contextual Nets

Unifying Petri Nets, Advances in Petri Nets
Petri Nets over Partial Algebra

Unifying Petri Nets, Advances in Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets

Unifying Petri Nets, Advances in Petri Nets
Transactions and Zero-Safe Nets

Unifying Petri Nets, Advances in Petri Nets
Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets

IEEE Transactions on Software Engineering
Event structures for the collective tokens philosophy of inhibitor nets

MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic.