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
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01282434
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 4:31:01 PM
Last modification on : Thursday, March 21, 2019 - 2:39:14 PM

Identifiers

Collections

UPMC | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES

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〉

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

142

Contact

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