Semantics of Petri Nets: A Comparison

In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/...

Full description

Saved in:
Bibliographic Details
Main Authors: Juhas, G., Lehocki, F., Lorenz, R.
Format: Conference Proceeding
Language:English
Subjects:
Communication networks
Communication system control
Computer science
Concurrent computing
Control system analysis
Flexible manufacturing systems
Information technology
Joining processes
Multiprocessing systems
Petri nets
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/transition nets.
ISSN:0891-7736
1558-4305
DOI:10.1109/WSC.2007.4419655