Modeling and Verifying Distributed Systems with Petri Nets (tutorial) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Modeling and Verifying Distributed Systems with Petri Nets (tutorial)

Souheib Baarir
Fabrice Kordon

Résumé

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.
Fichier non déposé

Dates et versions

hal-01282434 , version 1 (03-03-2016)

Identifiants

Citer

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⟩
148 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More