Functorial models for Petri nets

DOI10.1006/inco.2001.3050zbMath1005.68102MaRDI QIDQ1854467

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

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

68Q65: Abstract data types; algebraic specification

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

A framework for the verification of infinite-state graph transformation systems, Ugo Montanari and Concurrency Theory, Models of Computation: A Tribute to Ugo Montanari’s Vision

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