✦ LIBER ✦

Functorial Models for Petri Nets

✍ Scribed by Roberto Bruni; José Meseguer; Ugo Montanari; Vladimiro Sassone

Book ID: 112252640
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 251 KB
Volume: 170
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2001.3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

model checking for time Petri nets

✍ Hanifa Boucheneb; Rachid Hadjidj 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 554 KB

Clustering for Petri nets

✍ Walter Keller 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 658 KB

Finite Petri nets as models for recursiv

Finite Petri nets as models for recursive causal behaviour

✍ Ursula Goltz; Arend Rensink 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 717 KB

Creating executable models of influence

Creating executable models of influence nets with colored Petri nets

✍ Lee W. Wagenhals; Insub Shin; Alexander H. Levis 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 213 KB

A Petri net model for probabilistic logi

A Petri net model for probabilistic logic

✍ Chuang Lin; Y. T. Wu 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 815 KB

In this article we investigate the use of Petri nets for the representation of possible worlds in probabilistic logic. We propose a method to generate possible worlds based upon the reachability tree of the Petri net model. The number of columns in the matrix of possible worlds grows exponentially w