Search Sciweavers | Sciweavers

357 search results - page 30 / 72

» On the Model of Computation of Place Transition Petri Nets

click to vote

DATE
1998
IEEE

103views Hardware» more DATE 1998»

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets

13 years 12 months ago

Download www.lsi.upc.edu

Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...

Enric Pastor, Jordi Cortadella

claim paper

Read More »

click to vote

PNPM
1987

78views Artificial Intelligence» more PNPM 1987»

Stochastic Petri Net Analysis of a Replicated File System

13 years 11 months ago

Download www.cs.ucr.edu

We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...

Joanne Bechta Dugan, Gianfranco Ciardo

claim paper

Read More »

click to vote

ICCS
2004
Springer

120views Applied Computing» more ICCS 2004»

Petri Nets as Executable Specifications of High-Level Timed Parallel Systems

14 years 1 months ago

Download hal.archives-ouvertes.fr

We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of veriﬁcation and we show t...

Franck Pommereau

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 »