7 search results - page 1 / 2 » Stubborn Sets for Priority Nets |
ISCIS
2004
Springer
13 years 10 months ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
APN
2006
Springer
13 years 8 months ago
2006
Springer
WSC
2007
13 years 7 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
ACIIDS
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
DATAMINE
2006
13 years 4 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...