941 search results - page 2 / 189 » Self-Evolving Petri Nets |
AUTOMATICA
2011
13 years 15 days ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
LICS
2012
IEEE
11 years 8 months ago
2012
IEEE
—We show how to reliably compute fast-growing functions with timed-arc Petri nets and data nets. This construction provides ordinal-recursive lower bounds on the complexity of th...
TCS
2011
13 years 16 days ago
2011
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
AWPN
2008
13 years 7 months ago
2008
Abstract Petri nets are a formalism for describing systems where interactions between active components
ENASE
2009
13 years 3 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...