10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings.
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

0769519768

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231543 ◽

2004 ◽

Author(s):

J.T. Bradley ◽

N.J. Dingle ◽

P.G. Harrison ◽

W.J. Knottenbelt

Keyword(s):

Stochastic Petri Nets

Download Full-text

Computing response time distributions using stochastic Petri nets and matrix diagrams

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231538 ◽

2004 ◽

Author(s):

A.S. Miner

Keyword(s):

Response Time ◽

Stochastic Petri Nets ◽

Response Time Distributions ◽

Matrix Diagrams

Download Full-text

On the relations between BCMP queueing networks and product form solution stochastic petri nets

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231547 ◽

2004 ◽

Author(s):

G. Balbo ◽

S.C. Bruell ◽

M. Sereno

Keyword(s):

Queueing Networks ◽

Form Solution ◽

Stochastic Petri Nets ◽

Download Full-text

State class timed automaton of a time Petri net

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231549 ◽

2004 ◽

Author(s):

D. Lime ◽

O. Roux

Keyword(s):

Petri Net ◽

Time Petri Net ◽

Timed Automaton

Download Full-text

Distributed semi-Markov processes in stochastic T-timed Petri nets

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231548 ◽

2004 ◽

Author(s):

S. Haar

Keyword(s):

Markov Processes ◽

Timed Petri Nets ◽

Semi Markov Processes

Download Full-text

Building Petri net scenarios for dependable automation systems

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231544 ◽

2004 ◽

Author(s):

S. Bernardi ◽

S. Donatelli

Keyword(s):

Petri Net ◽

Automation Systems

Download Full-text

Computational algorithms for product-form of competing Markov chains

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231546 ◽

2004 ◽

Author(s):

M. Sereno

Keyword(s):

Markov Chains ◽

Product Form ◽

Computational Algorithms

Download Full-text

Performance evaluation with asynchronously decomposable SWN: implementation and case study

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231539 ◽

2004 ◽

Author(s):

C. Delamare ◽

Y. Gardan ◽

P. Moreaux

Keyword(s):

Performance Evaluation

Download Full-text

Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems:a comparative case study

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231541 ◽

2004 ◽

Author(s):

A. Heindl ◽

E.W. Biersack

Keyword(s):

Petri Net ◽

Video On Demand ◽

Open Loop ◽

Comparative Case Study ◽

Discrete State ◽

Stochastic Petri Net ◽

Download Full-text

Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications

10th International Workshop on Petri Nets and Performance Models, 2003. Proceedings. ◽

10.1109/pnpm.2003.1231537 ◽

2004 ◽

Author(s):

K.V. Velden ◽

J. Peccoud

Keyword(s):

Molecular Interactions ◽

Living Cell ◽

Cell Structure ◽

Structure Dynamics

Download Full-text