Search Sciweavers | Sciweavers

941 search results - page 119 / 189

» Haskell-Coloured Petri Nets

128

click to vote

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 10 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

146

click to vote

WFLP
2000
Springer

99views Algorithms» more WFLP 2000»

Petri Nets, Flat Languages and Linear Arithmetic

15 years 10 months ago

Download skif.pereslavl.ru

Laurent Fribourg

claim paper

Read More »

121

click to vote

ICNP
1995
IEEE

77views Computer Networks» more ICNP 1995»

Petri net models for describing multimedia synchronization requirements

15 years 10 months ago

Download www.ieee-icnp.org

Son T. Vuong, Kendra Cooper, Mabo Robert Ito

claim paper

Read More »

129

click to vote

SIGMETRICS
1995
ACM

83views Hardware» more SIGMETRICS 1995»

Modeling A Fibre Channel Switch with Stochastic Petri Nets

15 years 9 months ago

Download www.cs.ucr.edu

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

claim paper

Read More »

207

click to vote

PNPM
1991

216views Artificial Intelligence» more PNPM 1991»

Approximate Performability Analysis using Generalized Stochastic Petri Nets

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers