Sciweavers

941 search results - page 20 / 189
» Petri Nets Are Dioids
Sort
View
TOPLAS
1998
55views more  TOPLAS 1998»
15 years 1 months ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
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
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