Sciweavers

69
Voted
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
14 years 10 months ago
Formal analysis of timed continuous Petri nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
Marius Kloetzer, Cristian Mahulea, Calin Belta, La...