✦ LIBER ✦

Analysis of petri nets by stepwise refinements

✍ Scribed by R. Valette

Publisher: Elsevier Science
Year: 1979
Tongue: English
Weight: 678 KB
Volume: 18
Category: Article
ISSN: 0022-0000
DOI: 10.1016/0022-0000(79)90050-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Efficient analysis of concurrent systems

Efficient analysis of concurrent systems by Petri nets

✍ Kunihiko Hiraishi 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB

In the theoretical analysis of Petri nets there are many results for subclasses of Petri nets restricted by structural or behavioral properties. Recently, new types of analytical methods that are not restricted to special classes of Petri nets have been proposed. These methods aim to improve the ave

Analysis of Petri nets by partitioning:

Analysis of Petri nets by partitioning: Splitting transitions

✍ Hossam Mahmoud Ahmad Fahmy 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 642 KB

FAILURE ANALYSIS FOR AN AIRBAG INFLATOR

FAILURE ANALYSIS FOR AN AIRBAG INFLATOR BY PETRI NETS

✍ S. K. Yang; T. S. Liu 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 317 KB

Analysis of multi-agent activity using p

Analysis of multi-agent activity using petri nets

✍ Matej Perše; Matej Kristan; Janez Perš; Gašper Mušič; Goran Vučkovič; Stanislav 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 685 KB

Petri-Netz-Maschine a software tool for

Petri-Netz-Maschine a software tool for analysis and validation of Petri nets

✍ Peter H Starke 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 111 KB

Analysis of controlled technological sys

Analysis of controlled technological systems using high level petri nets

✍ M. Gerzson; K.M. Hangos 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 542 KB