Zero-safe nets: Comparing the collective and individual token approaches.
type: Item
instance of: scholarly article
title: Zero-safe nets: Comparing the collective and individual token approaches.
zbMATH Open document ID: 1046.68615
author: Roberto Bruni
author: Ugo Montanari
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1853082
zbMATH Keywords: transition synchronization
zbMATH Keywords: transaction
MaRDI profile type: Publication
full work available at URL: inco.1999.2819
OpenAlex ID: W2016654878
cites work: Q4281515
cites work: Q4222912
cites work: Q3210197
cites work: Axiomatizing the algebra of net computations and processes
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Advances in Petri nets 1991. APN '91. 11th international conference on applications and theory of Petri nets, Paris, France, June 1990. Proceedings
cites work: Q3975146
cites work: Configuration structures, event structures and Petri nets
cites work: Q3771632
cites work: The non-sequential behaviour of Petri nets
cites work: On the implementation of concurrent calculi in net calculi: two case studies
cites work: Q4371023
cites work: Q5639839
cites work: Petri nets are monoids
cites work: Process versus unfolding semantics for Place/Transition Petri nets
cites work: Q3992568
cites work: Q3776645
cites work: Q4431372
cites work: An axiomatization of the algebra of Petri net concatenable processes
cites work: A method for stepwise refinement and abstraction of Petri nets
cites work: Analysis of Petri nets by stepwise refinements
cites work: Q3785958
cites work: Petri nets, algebras, morphisms, and compositionality
DOI: 10.1006/INCO.1999.2819
description: scientific article; zbMATH DE number 1853082