Hierarchical structuring of superposed GSPNs

This publication has 16 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Numerical analysis of superposed GSPNs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An Aggregation/Disaggregation Algorithm for Stochastic Automata Networks
  Probability in the Engineering and Informational Sciences, 1997
• Reachability analysis based on structured representations
  Published by Springer Nature ,1996
• The numerical solution of stochastic automata networks
  European Journal of Operational Research, 1995
• Superposed Generalized Stochastic Petri Nets: Definition and efficient solution
  Published by Springer Nature ,1994
• Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
  Performance Evaluation, 1993
• Generalized stochastic Petri nets: a definition at the net level and its implications
  IEEE Transactions on Software Engineering, 1993
• An implementation of an efficient algorithm for bisimulation equivalence
  Science of Computer Programming, 1990
• On the stochastic structure of parallelism and synchronization models for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1985