Proceedings 6th International Workshop on Petri Nets and Performance Models
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0818672102

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Numerical analysis of superposed GSPNs

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524315 ◽

2002 ◽

Cited By ~ 14

Author(s):

P. Kemper

Keyword(s):

Numerical Analysis

Download Full-text

UltraSAN version 3 overview

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524336 ◽

2002 ◽

Cited By ~ 2

Author(s):

D.D. Deavours ◽

W.D. Obal ◽

M.A. Qureshi ◽

W.H. Sanders ◽

A.P.A. van Moorsel

Download Full-text

Performance and formal design: a process algebraic perspective

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524322 ◽

2002 ◽

Author(s):

E. Brinksma

Keyword(s):

Formal Design ◽

Process Algebraic

Download Full-text

TiPNet: a graphical tool for timed Petri nets

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524334 ◽

2002 ◽

Cited By ~ 2

Author(s):

Baopu Liu ◽

A. Robbi

Keyword(s):

Petri Nets ◽

Timed Petri Nets ◽

Graphical Tool

Download Full-text

Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524320 ◽

2002 ◽

Cited By ~ 25

Author(s):

R. German ◽

D. Logothetis ◽

K.S. Trivedi

Keyword(s):

Petri Nets ◽

Transient Analysis ◽

Stochastic Petri Nets

Download Full-text

Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524339 ◽

2002 ◽

Cited By ~ 1

Author(s):

M.A. Escalante ◽

N.J. Dimopoulos ◽

D. Gyuroff ◽

H. Muller

Keyword(s):

Timing Analysis ◽

Hardware Interface ◽

Transition Graphs

Download Full-text

Evaluation of high level Petri nets by means of aggregation and decomposition

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524311 ◽

2002 ◽

Cited By ~ 9

Author(s):

S. Haddad ◽

P. Moreaux

Keyword(s):

Petri Nets ◽

High Level

Download Full-text

Characterization of timed well-formed Petri nets behavior by means of occurrence equations

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524323 ◽

2002 ◽

Author(s):

G. Chiola

Keyword(s):

Petri Nets

Download Full-text

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524326 ◽

2002 ◽

Cited By ~ 27

Author(s):

S. Donatelli ◽

M. Ribaudo ◽

J. Hillston

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

Process Algebra ◽

Evaluation Process ◽

Stochastic Petri Nets ◽

Generalized Stochastic Petri Nets

Download Full-text

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

Proceedings 6th International Workshop on Petri Nets and Performance Models ◽

10.1109/pnpm.1995.524328 ◽

2002 ◽

Cited By ~ 4

Author(s):

M.A. Qureshi ◽

W.H. Sanders ◽

A.P.A. van Moorsel ◽

R. German

Keyword(s):

State Level ◽

Stochastic Activity Networks ◽

Activity Networks ◽

Stochastic Activity

Download Full-text

Proceedings 6th International Workshop on Petri Nets and Performance ModelsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Numerical analysis of superposed GSPNs

UltraSAN version 3 overview

Performance and formal design: a process algebraic perspective

TiPNet: a graphical tool for timed Petri nets

Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches

Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs

Evaluation of high level Petri nets by means of aggregation and decomposition

Characterization of timed well-formed Petri nets behavior by means of occurrence equations

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

Proceedings 6th International Workshop on Petri Nets and Performance Models
Latest Publications