Functorial models for Petri nets

DOI10.1006/INCO.2001.3050zbMath1005.68102OpenAlexW2066588870MaRDI QIDQ1854467

Roberto Bruni, Ugo Montanari, José Meseguer, Vladimiro Sassone

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/264742/1/prenetsIandCOff.pdf

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (13)

A Normal Form for Stateful Connectors ⋮ Executions in (Semi-)Integer Petri Nets are Compact Closed Categories ⋮ Ugo Montanari and Concurrency Theory ⋮ Models of Computation: A Tribute to Ugo Montanari’s Vision ⋮ A compositional framework for reaction networks ⋮ Petri nets are dioids: a new algebraic foundation for non-deterministic net theory ⋮ Open Petri nets ⋮ A framework for the verification of infinite-state graph transformation systems ⋮ Whole-grain Petri nets and processes ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ GETGRATS ⋮ Bayesian network semantics for Petri nets ⋮ Petri nets based on Lawvere theories

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatization of the algebra of Petri net concatenable processes
• An event structure semantics for general Petri nets
• Process versus unfolding semantics for Place/Transition Petri nets
• Petri nets are monoids
• Petri nets, algebras, morphisms, and compositionality
• Sequential and concurrent behaviour in Petri net theory
• Petri nets, event structures and domains. I
• Axiomatizing the algebra of net computations and processes
• Specification and proof in membership equational logic
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• The non-sequential behaviour of Petri nets
• PETRI NETS AND STEP TRANSITION SYSTEMS
• The basic algebraic structures in categories of derivations
• An axiomatization of the category of Petri net computations
• Some algebraic problems in the context of functorial semantics of algebraic theories

This page was built for publication: Functorial models for Petri nets