Modeling and Verifying Distributed Systems with Petri Nets (tutorial)

Baarir, Souheib
Kordon, Fabrice

Open link

Publication date

November 2012

DOI

10.1109/IWAISE.2012.24

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Abstract

International audienceThe 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

Extracted data

We use cookies to provide a better user experience.

Data Protection

Modeling and Verifying Distributed Systems with Petri Nets (tutorial)

Abstract

Extracted data

Modeling and Verifying Distributed Systems with Petri Nets (tutorial)

Abstract

Extracted data

Related items

Related items