State-space size estimation of conservative Petri nets

An investigation into the relationships between Petri net (PN) models and their associated state-space is discussed. An algorithm to estimate an upper bound on the number of states in a PN is presented. This algorithm is based on the weight vector associated with conservative PNs. PN constructs that hinder the algorithm´s accuracy are discussed. Additionally, the structural and behavioral nature of PN weighted conservatism is developed, and a clarification of a test of weighted conservativeness is presented