The Application of EB-Equivalence Rules to the Structural Reduciton of GSPN Models
暂无分享,去创建一个
[1] Fabio Neri,et al. GSPN models of random, cyclic, and optimal 1-limited multiserver multiqueue systems , 1991, SIGCOMM '91.
[2] Giovanni Chiola,et al. On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets , 1987, PNPM.
[3] Marco Ajmone Marsan,et al. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.
[4] Luca Bernardinello,et al. A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.
[5] Giorgio De Michelis,et al. Exhibited-Behaviour Equivalence and Organizational Abstraction in Concurrent System Design , 1985, ICDCS.
[6] Carla Simone,et al. A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.
[7] Gérard Berthelot. Transformations and Decompositions of Nets , 1986 .
[8] Manuel Silva Suárez,et al. Throughput lower bounds for Markovian Petri nets: transformation techniques , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.
[9] F. Neri,et al. On the construction of abstract GSPNs: an exercise in modeling , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.