 |
Conference papers
Modeling and Verifying Distributed Systems with Petri Nets (tutorial)
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.
https://hal.archives-ouvertes.fr/hal-01282434
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 4:31:01 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 4:31:01 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM