Contextual Petri nets, asymmetric event structures, and processes
type: Item
instance of: scholarly article
title: Contextual Petri nets, asymmetric event structures, and processes
zbMATH Open document ID: 1005.68103
author: Paolo Baldan
author: Andrea Corradini
author: Ugo Montanari
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1853211
MaRDI profile type: Publication
full work available at URL: inco.2001.3060
OpenAlex ID: W1970326465
cites work: Petri nets, event structures and domains. I
cites work: On the nature of events
cites work: Q3210197
cites work: Q4251922
cites work: Non sequential semantics for contextual P/T nets
cites work: Q4699325
cites work: Process versus unfolding semantics for Place/Transition Petri nets
cites work: Semantics of inhibitor nets
cites work: Q4260701
cites work: A categorical manifesto
cites work: On the semantics of place/transition Petri nets
cites work: Q4733397
cites work: Contextual occurrence nets and concurrent constraint programming
cites work: Q4362962
cites work: Q3839067
cites work: Contextual nets
cites work: On relating some models for concurrency
cites work: Q3785984
cites work: Efficiency of asynchronous systems and read arcs in petri nets
cites work: Q4160405
cites work: Q4219030
cites work: Q4890710
cites work: Q4028627
cites work: Interpolants and Symbolic Model Checking
cites work: Structure of concurrency
cites work: Q3219122
cites work: Q4502811
cites work: On the nature of events: another perspective in concurrency
DOI: 10.1006/INCO.2001.3060
description: scientific article; zbMATH DE number 1853211