✦ LIBER ✦

Petri nets semantics of π-calculus

✍ Scribed by Zhenhua Yu; Yuanli Cai; Haiping Xu

Publisher: SP Higher Education Press
Year: 2008
Tongue: English
Weight: 276 KB
Volume: 3
Category: Article
ISSN: 1673-3584
DOI: 10.1007/s11460-008-0050-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A compositional Petri net translation of

A compositional Petri net translation of generalπ-calculus terms

✍ Raymond Devillers; Hanna Klaudel; Maciej Koutny 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 797 KB

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

Failures semantics and deadlocking of mo

Failures semantics and deadlocking of modular Petri nets

✍ Walter Vogler 📂 Article 📅 1989 🏛 Springer-Verlag 🌐 English ⚖ 831 KB

Expertext: From semantic nets to logic P

Expertext: From semantic nets to logic Petri nets

✍ Roy Rada; Paul E.S. Dunne; Judith Barlow 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 965 KB

Functorial semantics for Petri nets unde

Functorial semantics for Petri nets under the individual token philosophy

✍ Roberto Bruni; José Meseguer; Ugo Montanari; Vladimiro Sassone 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Petri nets

✍ Y. Narahari 📂 Article 📅 1999 🏛 Indian Academy of Sciences 🌐 English ⚖ 840 KB