• DocumentCode
    2933510
  • Title

    Tutorial 1: Modeling and Verifying Distributed Systems with Petri Nets

  • Author

    Baarir, Souheib ; Kordon, Fabrice

  • fYear
    2012
  • fDate
    10-12 Nov. 2012
  • Firstpage
    92
  • Lastpage
    92
  • Abstract
    The objective of this tutorial is to focus on one technique that is suitable for the modeling and verification of distributed systems: Petri nets. After the tutorial, they should be able to model a problem with Petri nets, express properties and use a tool to check them.
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Advanced Information Systems for Enterprises (IWAISE), 2012 Second International Workshop on
  • Conference_Location
    Constantine, Algeria
  • Print_ISBN
    978-1-4673-4791-4
  • Type

    conf

  • DOI
    10.1109/IWAISE.2012.24
  • Filename
    6410105
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2933510