Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Modeling and Verifying Distributed Systems with Petri Nets (tutorial)

Souheib Baarir 1 Fabrice Kordon 1 
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01282434
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, March 3, 2016 - 4:31:01 PM
Last modification on : Sunday, June 26, 2022 - 9:47:32 AM

Identifiers

Citation

Souheib Baarir, Fabrice Kordon. Modeling and Verifying Distributed Systems with Petri Nets (tutorial). 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. pp.92-92, ⟨10.1109/IWAISE.2012.24⟩. ⟨hal-01282434⟩

Share

Metrics

Record views

130