Stochastic Petri nets: Properties, applications and tools

This publication has 9 references indexed in Scilit:

• Necessary and sufficient ergodicity condition for open synchronized queueing networks
  IEEE Transactions on Software Engineering, 1989
• One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions
  Journal of Systems and Software, 1986
• Discrete Time Stochastic Petri Nets
  IEEE Transactions on Software Engineering, 1985
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Timing Requirements for Time-Driven Systems Using Augmented Petri Nets
  IEEE Transactions on Software Engineering, 1983
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
  IEEE Transactions on Software Engineering, 1980
• A stochastic petri net with applications to modelling occupancy times for concurrent task systems
  Networks, 1979
• Circuit theoretic analysis and synthesis of marked graphs
  IEEE Transactions on Circuits and Systems, 1977