Title :
Well Formed PetriNet for Reachablility
Author :
Ikeda, Yasuhiro ; Shimada, S. ; Miura, Tsuyoshi
Author_Institution :
Dept..of Electr. & Electr. Eng., HOSEI Univ., Koganei, Japan
Abstract :
Whenever we give model description for simulation purpose, we always face to a problem how to describe behaviors correctly in terms of objects. Clearly sophisticated diagram approach would facilitate matters greatly. PetriNet is one of the nice vehicles for discrete modeling. In this investigation, we introduce Well-Formed PetriNet (WFPN) and to propose how to construct reachable PetriNet models by means of editors. We examine our approach by means of experimental systems.
Keywords :
Petri nets; reachability analysis; PetriNet models; WFPN; diagram approach; discrete modeling; model description; reachability; well-formed PetriNet; Abstracts; Color; Educational institutions; Electronic mail; Inhibitors; Internet; Synchronization; CSP; PetriNet; Reachability; WFPN;
Conference_Titel :
Signal Image Technology and Internet Based Systems (SITIS), 2012 Eighth International Conference on
Conference_Location :
Naples
Print_ISBN :
978-1-4673-5152-2
DOI :
10.1109/SITIS.2012.91
