 |
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 : Thursday, March 21, 2019 - 2:39:14 PM
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 4:31:01 PM
Last modification on : Thursday, March 21, 2019 - 2:39:14 PM
