✦ LIBER ✦

Modeling Multithreaded Applications Using Petri Nets

✍ Scribed by Krishna M. Kavi; Alireza Moshtaghi; Deng-jyi Chen

Book ID: 110391631
Publisher: Springer
Year: 2002
Tongue: English
Weight: 511 KB
Volume: 30
Category: Article
ISSN: 1573-7640
DOI: 10.1023/a:1019917329895

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling of communication protocols by u

Modeling of communication protocols by using petri nets

✍ M. Ilyas; H. Khalil 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 223 KB

Modeling and Analysis of Workflows Using

Modeling and Analysis of Workflows Using Petri Nets

✍ Nabil R. Adam; Vijayalakshmi Atluri; Wei-Kuang Huang 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 381 KB

Modelling Opacity Using Petri Nets

✍ Jeremy W. Bryans; Maciej Koutny; Peter Y.A. Ryan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Modeling with enhanced prioritized Petri

Modeling with enhanced prioritized Petri nets: EP-nets

✍ Sheng-Uei Guan; Sok-Seng Lim 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 496 KB

Recently, many researchers have their attention focused on interactive temporal models, like the extended ®nite state machines or the extended Petri net models. One of the recent mechanisms proposed for synchronization is known as the prioritized Petri net, P-Net, which is implemented in the distrib

Modeling of automated storage/retrieval

Modeling of automated storage/retrieval systems using petri nets

✍ Gerald M. Knapp; Hsu-Pin Ben Wang 📂 Article 📅 1992 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 771 KB

Panel: Applications of performance Petri

Panel: Applications of performance Petri Nets

✍ Joanne Bechta Dugan 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 122 KB