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. pp.92-92,
⟨10.1109/IWAISE.2012.24⟩.
⟨hal-01282434⟩