𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Petri net semantics of smalltalk-80

✍ Scribed by Dimitris N Christodoulakis

Publisher
Elsevier Science
Year
1988
Weight
371 KB
Volume
24
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Petri nets semantics of Ο€-calculus
Petri nets semantics of Ο€-calculus
✍ Zhenhua Yu; Yuanli Cai; Haiping Xu πŸ“‚ Article πŸ“… 2008 πŸ› SP Higher Education Press 🌐 English βš– 276 KB
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