๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A characterization of the stochastic process underlying a stochastic Petri net

โœ Scribed by Ciardo, G.; German, R.; Lindemann, C.

Book ID
117872043
Publisher
IEEE
Year
1994
Tongue
English
Weight
1000 KB
Volume
20
Category
Article
ISSN
0098-5589

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