Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
On the analysis of stochastic high level Petri net models
Ist Teil von
Microelectronics and reliability, 1991, Vol.31 (4), p.747-767
Ort / Verlag
Oxford: Elsevier Ltd
Erscheinungsjahr
1991
Link zum Volltext
Quelle
Elsevier ScienceDirect Journals Complete
Beschreibungen/Notizen
In this paper we review the Stochastic High Level Petri Nets, SHLPNs, introduced in [LiM86] and discuss the difficulties encountered in designing tools to automate the analysis of SHLPNs. Construction of net invariants and reachability trees for different classes of high level nets lead to open problems. We present High Level Petri Nets with marking variables and show that for this class of nets it is possible to construct efficiently the reachability tree. The algorithm is based upon equivalence and covering relations among marking variables. Then we discuss the compound token and token flow path concepts and present an algorithm to compute the S-invariants.