𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A compositional dataflow semantics for Petri nets

✍ Scribed by Robert Gold

Book ID
118772297
Publisher
Springer-Verlag
Year
1995
Tongue
English
Weight
949 KB
Volume
32
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A causal semantics for time Petri nets
A causal semantics for time Petri nets
✍ Tuomas Aura; Johan Lilius πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 463 KB

The objective of this work is to give time Petri nets a partial order semantics, akin to the nonsequential processes of untimed net systems. To this end a time process of a time Petri net is deΓΏned as a traditionally constructed causal process with a valid timing. A timing is a labelling that attach

ITL semantics of composite Petri nets
ITL semantics of composite Petri nets
✍ Duan, Zhenhua; Klaudel, Hanna; Koutny, Maciej πŸ“‚ Article πŸ“… 2013 πŸ› Elsevier Science 🌐 English βš– 514 KB