Search Sciweavers | Sciweavers

630 search results - page 29 / 126

» Oclets - Scenario-Based Modeling with Petri Nets

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

13 years 11 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

click to vote

ICNP
1995
IEEE

77views Computer Networks» more ICNP 1995»

Petri net models for describing multimedia synchronization requirements

13 years 11 months ago

Download www.ieee-icnp.org

Son T. Vuong, Kendra Cooper, Mabo Robert Ito

claim paper

Read More »

click to vote

SIGMETRICS
1995
ACM

83views Hardware» more SIGMETRICS 1995»

Modeling A Fibre Channel Switch with Stochastic Petri Nets

13 years 11 months ago

Download www.cs.ucr.edu

Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Ko...

claim paper

Read More »

click to vote

ATAL
2008
Springer

77views Intelligent Agents» more ATAL 2008»

Petri net plans: a formal model for representation and execution of multi-robot plans

13 years 9 months ago

Download www.dis.uniroma1.it

Vittorio A. Ziparo, Luca Iocchi, Daniele Nardi, Pi...

claim paper

Read More »

click to vote

ATAL
2008
Springer

93views Intelligent Agents» more ATAL 2008»

Modelling, analysis and execution of multi-robot tasks using petri nets

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers