350 search results - page 56 / 70 » Petri Net Analysis Using Invariant Generation |
121
Voted
BPM
2006
Springer
15 years 4 months ago
2006
Springer
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
134
Voted
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...
94
Voted
IANDC
2006
15 years 13 days ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
129
Voted
BMCBI
2006
15 years 14 days ago
2006
Background: The invariant lineage of the nematode Caenorhabditis elegans has potential as a powerful tool for the description of mutant phenotypes and gene expression patterns. We...
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
Modern worms can spread so quickly that any countermeasure based on human reaction might not be fast enough. Recent research has focused on devising algorithms to automatically pr...