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

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

8

(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 ◽

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 ◽

Author(s):

D.D. Deavours ◽

W.D. Obal ◽

M.A. Qureshi ◽

W.H. Sanders ◽

A.P.A. van Moorsel

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 ◽

Author(s):

Baopu Liu ◽

A. Robbi

Keyword(s):

Timed Petri Nets ◽

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 ◽

Author(s):

R. German ◽

D. Logothetis ◽

K.S. Trivedi

Keyword(s):

Transient Analysis ◽

Stochastic Petri Nets

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

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 ◽

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 ◽

Author(s):

S. Haddad ◽

P. Moreaux

Keyword(s):

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):

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 ◽

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

Giving a net semantics to Markovian process algebra

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

10.1109/pnpm.1995.524327 ◽

2002 ◽

Author(s):

M. Bernardo ◽

L. Donatiello ◽

R. Gorrieri

Keyword(s):

Process Algebra ◽

Markovian Process

Download Full-text