Sciweavers

941 search results - page 20 / 189
» History-Dependent Petri Nets
Sort
View
131
Voted
HCSE
2010
15 years 12 days ago
The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...
José Luís Silva, Óscar R. Rib...
83
Voted
STTT
2008
83views more  STTT 2008»
15 years 9 days ago
Improving state class constructions for CTL* model checking of time Petri nets
Rachid Hadjidj, Hanifa Boucheneb
48
Voted
PR
2010
109views more  PR 2010»
15 years 8 days ago
Analysis of multi-agent activity using petri nets
Matej Perse, Matej Kristan, Janez Pers, Gasper Mus...
APN
2010
Springer
14 years 12 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
78
Voted
IPPS
2010
IEEE
14 years 11 months ago
QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets
Dario Bruneo, Salvatore Distefano, Francesco Longo...