DMCA
Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs
Cached
Download Links
- [www.math.unipd.it]
- [www.math.unipd.it]
- [www.di.unipi.it]
- [www.math.unipd.it]
- [ftp.di.unipi.it]
- DBLP
Other Repositories/Bibliography
by
P. Baldan
,
N. Busi
,
A. Corradini
,
G. M. Pinna
| Citations: | 13 - 5 self |
BibTeX
@MISC{Baldan_domainand,
author = {P. Baldan and N. Busi and A. Corradini and G. M. Pinna},
title = {Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs },
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We propose a functorial concurrent semantics for Petri nets extended with read and inhibitor arcs, that we call inhibitor nets. Along the lines of the seminal work by Winskel on safe (ordinary) nets, the truly concurrent semantics is given at a categorical level via a chain of coreflections leading from the category SW-IN of semi-weighted inhibitor nets to
