InTech uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Computer and Information Science » Theory of Computation » "Petri Nets Applications", book edited by Pawel Pawlewski, ISBN 978-953-307-047-6, Published: February 1, 2010 under CC BY-NC-SA 3.0 license. © The Author(s).

Chapter 12

Hybrid State Petri Nets which Have the Analysis Power of Stochastic Hybrid Systems and the Formal Verification Power of Automata

By Mariken H.C. Everdij and Henk A.P. Blom
DOI: 10.5772/7513