69 search results - page 5 / 14 » Continuous and Hybrid Petri Nets |
BMCBI
2010
13 years 10 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
TII
2010
13 years 4 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
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...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE