Open access

Using Petri nets for modeling and verification of Hybrid Systems

Written By

Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

Published: 01 February 2010

DOI: 10.5772/7518

From the Edited Volume

Petri Nets Applications

Edited by Pawel Pawlewski

Chapter metrics overview

2,097 Chapter Downloads

View Full Metrics

Written By

Ricardo Rodriguez, Otoniel Rodriguez, Gerardo Reyes and Vianey Cruz

Published: 01 February 2010