𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A preferential semantics for causal reasoning about action

✍ Scribed by Mikhail Prokopenko

Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
784 KB
Volume
46
Category
Article
ISSN
1012-2443

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