Behavioral modeling with Petri Nets for Verification © 2008 LIP6 - 1 - Behavioral modeling with Petri Nets for Verification Fabrice Kordon & Yann Thierry-Mieg.