Search Sciweavers | Sciweavers

941 search results - page 119 / 189

» Haskell-Coloured Petri Nets

Voted

AMAST
1995
Springer

114views Software Engineering» more AMAST 1995»

Petri Nets, Traces, and Local Model Checking

15 years 4 months ago

Download www.brics.dk

Allan Cheng

claim paper

Read More »

click to vote

WFLP
2000
Springer

99views Algorithms» more WFLP 2000»

Petri Nets, Flat Languages and Linear Arithmetic

15 years 4 months ago

Download skif.pereslavl.ru

Laurent Fribourg

claim paper

Read More »

click to vote

ICNP
1995
IEEE

77views Computer Networks» more ICNP 1995»

Petri net models for describing multimedia synchronization requirements

15 years 4 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

15 years 4 months ago

Download www.cs.ucr.edu

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

claim paper

Read More »

131

click to vote

PNPM
1991

216views Artificial Intelligence» more PNPM 1991»

Approximate Performability Analysis using Generalized Stochastic Petri Nets

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers