DocumentCode
3180359
Title
State-space size estimation of conservative Petri nets
Author
Watson, James F., III ; Desrochers, Alan A.
Author_Institution
Rensselaer Polytech. Inst., Troy, NY, USA
fYear
1992
fDate
12-14 May 1992
Firstpage
1037
Abstract
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
Keywords
Petri nets; conservative Petri nets; state-space size estimation; upper bound; weighted conservativeness test; Fires; H infinity control; Inspection; Law; Legal factors; Marine vehicles; Petri nets; Resource management; State estimation; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1992. Proceedings., 1992 IEEE International Conference on
Conference_Location
Nice
Print_ISBN
0-8186-2720-4
Type
conf
DOI
10.1109/ROBOT.1992.220211
Filename
220211
Link To Document