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.
Type de document :
Communication dans un congrès
2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), Nov 2012, Constantine, Algeria. IEEE Press, 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), pp.92-92, 〈10.1109/IWAISE.2012.24〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01282434
Contributeur : Lip6 Publications <>
Soumis le : jeudi 3 mars 2016 - 16:31:01
Dernière modification le : vendredi 30 novembre 2018 - 01:28:11

Identifiants

Collections

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. IEEE Press, 2nd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE), pp.92-92, 〈10.1109/IWAISE.2012.24〉. 〈hal-01282434〉

Partager

Métriques

Consultations de la notice

126