Sciweavers

124 search results - page 10 / 25
» Discrete Event Diagnosis using Petri Nets
Sort
View
AAAI
2007
13 years 10 months ago
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Alban Grastien, Anbulagan, Jussi Rintanen, Elena K...
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
14 years 1 months ago
Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
Jason H. Moore, Lance W. Hahn
BPM
2007
Springer
109views Business» more  BPM 2007»
14 years 2 months ago
Process Mining Based on Regions of Languages
In this paper we give an overview, how to apply region based methods for the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at...
Robin Bergenthum, Jörg Desel, Robert Lorenz, ...
FORMATS
2005
Springer
14 years 1 months ago
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
Thomas Chatain, Claude Jard
APN
2010
Springer
13 years 6 months ago
Learning Workflow Petri Nets
Workflow mining is the task of automatically producing a workflow model from a set of event logs recording sequences of workflow events; each sequence corresponds to a use case or ...
Javier Esparza, Martin Leucker, Maximilian Schlund