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.