✦ LIBER ✦

A valuation-based analysis of conflict-free Petri nets

✍ Scribed by Hsu-Chun Yen

Book ID: 104300464
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 177 KB
Volume: 45
Category: Article
ISSN: 0167-6911
DOI: 10.1016/s0167-6911(01)00196-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Linear time analysis of properties of co

Linear time analysis of properties of conflict-free and general Petri nets

✍ Paola Alimonti; Esteban Feuerstein; Luigi Laura; Umberto Nanni 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 404 KB

Deciding a Class of Path Formulas for Co

Deciding a Class of Path Formulas for Conflict-Free Petri Nets

✍ Hsu-Chun Yen; Bow-Yaw Wang; Ming-Sheng Yang 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 239 KB

Structure theory of choice-free petri ne

Structure theory of choice-free petri nets based on eigenvalues

✍ Chérif Amer-Yahia; Noureddine Zerhouni 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 184 KB

Choice-free are a class of Petri nets where structural con#icts are forbidden. They are well-suited for modeling concurrent systems with bulk services and arrivals. A new approach, based on eigenvalues, for the study of some structural properties of Choice-free Petri nets is given in this paper. The

Control synthesis based on a graph-theor

Control synthesis based on a graph-theoretical Petri net analysis

✍ W. Seiche 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 455 KB

A heuristic method for temporal analysis

A heuristic method for temporal analysis based on petri net

✍ Fu Jian-ming; Zhu Fu-xi; Xiong Hui 📂 Article 📅 2002 🏛 Wuhan University 🌐 English ⚖ 420 KB

A solution to the covering problem for 1

A solution to the covering problem for 1-bounded conflict-free Petri nets using Linear Programming

✍ Javier Esparza 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 605 KB