For the most recent entries see the Petri Nets Newsletter.

Reachability Graphs and Invariants for Stochastic High Level Petri Nets.

Dong, J.; Marinescu, D.C.; Lin, C.

Purdue University, Report No. CSD-TR 686, 1987.

Abstract: The paper investigates the properties of Stochastic High Level Petri nets. The research is motivated by the idea of using SHLPNs as high level descriptions of stochastic models. An algorithm for constructing the reachability graph is presented and the invariants of a Stochstic High Level Petri net are discussed.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography