On the semantics of place/transition Petri nets

DOI10.1017/S0960129597002314zbMath0876.68072OpenAlexW2017662480MaRDI QIDQ4347377

Vladimiro Sassone, José Meseguer, Ugo Montanari

Publication date: 12 November 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129597002314

zbMATH Keywords

Petri netsplace/transition

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (24)

Unfolding Grammars in Adhesive Categories ⋮ Domain and event structure semantics for Petri nets with read and inhibitor arcs ⋮ Clustering for Petri nets ⋮ Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP ⋮ Branching Processes of Timed Petri Nets ⋮ Unfolding semantics of graph transformation ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ A Normal Form for Stateful Connectors ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets ⋮ Abstract processes of place/transition systems ⋮ Calculi of net structures and sets are similar ⋮ ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets ⋮ Workshop on Petri Nets and Graph Transformations ⋮ Unnamed Item ⋮ An event structure semantics for graph grammars with parallel productions ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Concurrency for Graph Grammars in a Petri net shell ⋮ Processes and unfoldings: concurrent computations in adhesive categories ⋮ Unnamed Item ⋮ Abstract processes and conflicts in place/transition systems ⋮ On Causal Semantics of Petri Nets ⋮ On the Analysis of Petri Nets and their Synthesis from Process Languages ⋮ Contextual Petri nets, asymmetric event structures, and processes

This page was built for publication: On the semantics of place/transition Petri nets