• DocumentCode
    2729931
  • Title

    Well Formed PetriNet for Reachablility

  • Author

    Ikeda, Yasuhiro ; Shimada, S. ; Miura, Tsuyoshi

  • Author_Institution
    Dept..of Electr. & Electr. Eng., HOSEI Univ., Koganei, Japan
  • fYear
    2012
  • fDate
    25-29 Nov. 2012
  • Firstpage
    595
  • Lastpage
    602
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/SITIS.2012.91
  • Filename
    6395148
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2729931