Functorial models for Petri nets
type: Item
instance of: scholarly article
title: Functorial models for Petri nets
zbMATH Open document ID: 1005.68102
author: Roberto Bruni
author: José Meseguer
author: Ugo Montanari
author: Vladimiro Sassone
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
full work available at URL: prenetsIandCOff.pdf
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1853210
describes a project that uses: Maude
MaRDI profile type: Publication
OpenAlex ID: W2066588870
cites work: Q4938625
cites work: The basic algebraic structures in categories of derivations
cites work: Sequential and concurrent behaviour in Petri net theory
cites work: Specification and proof in membership equational logic
cites work: Q4249180
cites work: Q4499237
cites work: Axiomatizing the algebra of net computations and processes
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: The non-sequential behaviour of Petri nets
cites work: An event structure semantics for general Petri nets
cites work: Q5536279
cites work: Some algebraic problems in the context of functorial semantics of algebraic theories
cites work: Q4733416
cites work: Q4693151
cites work: Q3839051
cites work: Petri nets are monoids
cites work: Q3839052
cites work: Process versus unfolding semantics for Place/Transition Petri nets
cites work: Q4371024
cites work: PETRI NETS AND STEP TRANSITION SYSTEMS
cites work: Petri nets, event structures and domains. I
cites work: Q5612497
cites work: Q4090505
cites work: Q3759011
cites work: Q3219122
cites work: An axiomatization of the algebra of Petri net concatenable processes
cites work: An axiomatization of the category of Petri net computations
cites work: Petri nets, algebras, morphisms, and compositionality
DOI: 10.1006/INCO.2001.3050
description: scientific article; zbMATH DE number 1853210