Well-defined generalized stochastic Petri nets: a net-level method to specify priorities

✍ Scribed by Teruel, E.; Franceschinis, G.; De Pierro, M.

Book ID: 117936575
Publisher: IEEE
Year: 2003
Tongue: English
Weight: 601 KB
Volume: 29
Category: Article
ISSN: 0098-5589
DOI: 10.1109/tse.2003.1245298

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A method to abstract a stochastic Petri

A method to abstract a stochastic Petri net

✍ K Nakada; T Yoneyama 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 768 KB

we propose a method to abstract a given stochastic Petri net (SPN). We shall show that the reachability tree of the given SPN is isomorphic to a Markov renewal process. Then, the given SPN is transformed to a state transition system (STS) and the STS is reduced. The reduction of states on STS corres