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

UPMC | LIP6 | SORBONNE-UNIVERSITE

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

126

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD