Domain and event structure semantics for Petri nets with read and inhibitor arcs
type: Item
instance of: scholarly article
title: Domain and event structure semantics for Petri nets with read and inhibitor arcs
zbMATH Open document ID: 1078.68103
author: Paolo Baldan
author: Nadia Busi
author: Andrea Corradini
author: G. Michele Pinna
published in: Theoretical Computer Science
publication date: 2004-10-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2105257
zbMATH Keywords: Petri nets
zbMATH Keywords: Read and inhibitor arcs
zbMATH Keywords: True concurrency
zbMATH Keywords: Unfolding
zbMATH Keywords: Categorical semantics
zbMATH Keywords: Event structures
zbMATH Keywords: Domains
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.04.001
OpenAlex ID: W1996072048
cites work: Q4835250
cites work: Q4536619
cites work: Contextual Petri nets, asymmetric event structures, and processes
cites work: Partial order and contextual net semantics for atomic and locally atomic CC programs
cites work: On the expressiveness of Linda coordination primitives.
cites work: Q4948012
cites work: Model checking using net unfoldings
cites work: An event structure semantics for general Petri nets
cites work: Semantics of inhibitor nets
cites work: Q2766567
cites work: Q4484509
cites work: Q4028627
cites work: Interpolants and Symbolic Model Checking
cites work: On the semantics of place/transition Petri nets
cites work: Process versus unfolding semantics for Place/Transition Petri nets
cites work: Contextual occurrence nets and concurrent constraint programming
cites work: Contextual nets
cites work: Petri nets, event structures and domains. I
cites work: Q3911403
cites work: On the nature of events
cites work: On the nature of events: another perspective in concurrency
cites work: Q3219122
cites work: Configuration structures, event structures and Petri nets
cites work: Efficiency of asynchronous systems and read arcs in petri nets
cites work: Q4251922
cites work: Q3030239
DOI: 10.1016/J.TCS.2004.04.001
Recommended article: Q4536619
Recommended article: Interval semantics for Petri nets with inhibitor arcs
Recommended article: On Interval Process Semantics of Petri Nets with Inhibitor Arcs
Recommended article: An event structure semantics for general Petri nets
Recommended article: Q4948012
Recommended article: Reachability in Petri Nets with Inhibitor Arcs
Recommended article: Q4484509
Recommended article: Q2766567
Recommended article: Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
Recommended article: Q4553276
description: scientific article; zbMATH DE number 2105257