Petri Nets Applications,  ISBN: 978-953-307-047-6

Using Petri nets for modeling and verification of Hybrid Systems

By Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

DOI: 10.5772/7518