Well Formed PetriNet for Reachablility

摘要

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.