Petri nets with marking-dependent arc cardinality: Properties and analysis

This publication has 15 references indexed in Scilit:

• TOMSPIN-a tool for modeling with stochastic Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Analysis of deterministic and stochastic Petri nets
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A characterization of the stochastic process underlying a stochastic Petri net
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• GSPNs versus SPNs: what is the actual role of immediate transitions?
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A decomposition approach for stochastic reward net models
  Performance Evaluation, 1993
• Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets
  Published by Springer Nature ,1993
• Analysis of self-stabilizing clock synchronization by means of stochastic Petri nets
  IEEE Transactions on Computers, 1990
• Stochastic Petri net analysis of a replicated file system
  IEEE Transactions on Software Engineering, 1989
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• Some decision problems related to the reachability problem for Petri nets
  Theoretical Computer Science, 1976