DocumentCode
3180367
Title
Methods for estimating state-space size of 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
1031
Abstract
The authors present the results of an investigation of the relationships between a Petri net (PN) and the size of its associated state-space. Four estimators are developed for estimating the number of states in a PN and understanding the sensitivity of this number to increases in tokens, places, and transitions. An estimator for conservative PNs demonstrated excellent accuracy. Estimators based on place boundedness and net boundedness had poor performance, but were amenable to analytical sensitivity analysis
Keywords
Petri nets; Petri net; net boundedness; place boundedness; state-space size estimation; tokens; transitions; Algorithm design and analysis; Explosions; Intelligent robots; Intelligent systems; Machine intelligence; Orbital robotics; Petri nets; Robot kinematics; State estimation; Systems engineering and theory;
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.220212
Filename
220212
Link To Document