Search Sciweavers | Sciweavers

1019 search results - page 114 / 204

» Petri Net Transformations in the

click to vote

SIGMETRICS
1998
ACM

95views Hardware» more SIGMETRICS 1998»

Modelling with Generalized Stochastic Petri Nets

13 years 7 months ago

Download www.inf.ed.ac.uk

Marco Ajmone Marsan, Gianfranco Balbo, Gianni Cont...

claim paper

Read More »

click to vote

TOPLAS
1998

55views more TOPLAS 1998»

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules

13 years 7 months ago

Download www.cparity.com

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

claim paper

Read More »

click to vote

HCSE
2010

165views Software Engineering» more HCSE 2010»

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

13 years 6 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 6 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 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers