Search Sciweavers | Sciweavers

941 search results - page 20 / 189

» History-Dependent Petri Nets

click to vote

HCSE
2010

165views Software Engineering» more HCSE 2010»

The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets

13 years 7 months ago

Download repositorium.sdum.uminho.pt

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...

claim paper

Read More »

click to vote

STTT
2008

83views more STTT 2008»

Improving state class constructions for CTL* model checking of time Petri nets

13 years 7 months ago

Download www.bcs.org

Rachid Hadjidj, Hanifa Boucheneb

claim paper

Read More »

click to vote

PR
2010

109views more PR 2010»

Analysis of multi-agent activity using petri nets

13 years 7 months ago

Download msc.fe.uni-lj.si

Matej Perse, Matej Kristan, Janez Pers, Gasper Mus...

claim paper

Read More »

click to vote

APN
2010
Springer

192views Artificial Intelligence» more APN 2010»

Learning Workflow Petri Nets

13 years 6 months ago

Download wwwbrauer.informatik.tu-muenchen.de

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

claim paper

Read More »

click to vote

IPPS
2010
IEEE

97views Distributed And Parallel Com...» more IPPS 2010»

QoS assessment of WS-BPEL processes through non-Markovian stochastic Petri nets

13 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers