Technology and the Future. An Interesting Set of Numbers.
Behavioral modeling with Petri Nets for Verification © 2008 LIP6 - 1 - Behavioral modeling with Petri Nets for Verification Fabrice Kordon & Yann Thierry-Mieg.