• DocumentCode
    2615748
  • Title

    Semantics of petri nets: A comparison

  • Author

    Juhás, Gabriel ; Lehocki, Fedor ; Lorenz, Robert

  • Author_Institution
    Slovak Univ. of Technol., Bratislava
  • fYear
    2007
  • fDate
    9-12 Dec. 2007
  • Firstpage
    617
  • Lastpage
    628
  • Abstract
    In this paper, we investigate results on relationship between different semantics of place/transition Petri nets based on labelled partial orders. We also discuss relationships between so called commutative processes representing collective token philosophy and individual process semantics of place/transition nets.
  • Keywords
    Petri nets; Petri net; commutative process; labelled partial order; Communication networks; Communication system control; Computer science; Concurrent computing; Control system analysis; Flexible manufacturing systems; Information technology; Joining processes; Multiprocessing systems; Petri nets;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Simulation Conference, 2007 Winter
  • Conference_Location
    Washington, DC
  • Print_ISBN
    978-1-4244-1306-5
  • Electronic_ISBN
    978-1-4244-1306-5
  • Type

    conf

  • DOI
    10.1109/WSC.2007.4419655
  • Filename
    4419655
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2615748