[PDF][PDF] An Automated Framework for Formal Verification of Timed Continuous Petri Nets-draft

M Kloetzer, C Mahulea, C Belta, M Silva - 2014 - webdiis.unizar.es
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 of …

[PDF][PDF] An Automated Framework for Formal Verification of Timed Continuous Petri Nets-draft

M Kloetzer, C Mahulea, C Belta, M Silva - 2014 - webdiis.unizar.es
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 of …