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

doi 10.5772/7513
Full Text
Abstract

Available in full text

Date
Authors
Publisher

InTech