Process versus unfolding semantics for Place/Transition Petri nets

DOI10.1016/0304-3975(95)00121-2zbMath0872.68130OpenAlexW2052906135MaRDI QIDQ672872

Vladimiro Sassone, Ugo Montanari, José Meseguer

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00121-2

zbMATH Keywords

monoidal categoriesplace/transition netsdecorated occurrence netsdecorated processesnonsequential processesunfolding constructions

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (14)

Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Semantic domains of timed event structures ⋮ The synthesis problem for repeatedly communicating Petri games ⋮ Unfolding semantics of graph transformation ⋮ Algebraic characterization of petri net pomset semantics ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Unnamed Item ⋮ On a homomorphism of a component Petri net ⋮ Petri games: synthesis of distributed systems with causal memory ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Concurrency for Graph Grammars in a Petri net shell ⋮ Zero-safe nets: Comparing the collective and individual token approaches. ⋮ Functorial models for Petri nets ⋮ Contextual Petri nets, asymmetric event structures, and processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An event structure semantics for general Petri nets
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• A distributed operational semantics of CCS based on condition/event systems
• Sequential and concurrent behaviour in Petri net theory
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• Mathematical aspects of net theory
• Special issue: F-WAN, foundations of wide area network computing. Selected papers based on the presentation at the meeting, Málaga, Spain, July 12--13, 2002.
• Axiomatizing the algebra of net computations and processes
• The non-sequential behaviour of Petri nets
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Axiomatizing Petri net concatenable processes
• On the category of Petri net computations

This page was built for publication: Process versus unfolding semantics for Place/Transition Petri nets