Analysis of deterministic and stochastic Petri nets

This publication has 13 references indexed in Scilit:

• A characterization of the stochastic process underlying a stochastic Petri net
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets
  Performance Evaluation, 1995
• Markov regenerative stochastic Petri nets
  Performance Evaluation, 1994
• An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models
  Performance Evaluation, 1993
• Modeling discrete event systems with state-dependent deterministic service times
  Discrete Event Dynamic Systems, 1993
• Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets
  Published by Springer Nature ,1993
• Transient analysis of deterministic and stochastic Petri nets
  Published by Springer Nature ,1993
• On the solution of GSPN reward models
  Performance Evaluation, 1991
• Timed Petri nets definitions, properties, and applications
  Microelectronics Reliability, 1991
• A Generalized Timed Petri Net Model for Performance Analysis
  IEEE Transactions on Software Engineering, 1987