Title :
Tutorial 1: Modeling and Verifying Distributed Systems with Petri Nets
Author :
Baarir, Souheib ; Kordon, Fabrice
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.
Conference_Titel :
Advanced Information Systems for Enterprises (IWAISE), 2012 Second International Workshop on
Conference_Location :
Constantine, Algeria
Print_ISBN :
978-1-4673-4791-4
DOI :
10.1109/IWAISE.2012.24
