Efficient Discrete-Event Simulation of Colored Petri Nets
暂无分享,去创建一个
[1] Serge Haddad,et al. Conflict sets in colored Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.
[2] Grzegorz Rozenberg,et al. High-level Petri Nets: Theory And Application , 1991 .
[3] Giovanni Chiola,et al. Modeling Symmetric Computer Architectures by SWNs , 1994, Application and Theory of Petri Nets.
[4] Giovanni Chiola. Compiling Techniques for the Analysis of Stochastic Petri Nets , 1989 .
[5] William J. Dally,et al. Performance Analysis of k-Ary n-Cube Interconnection Networks , 1987, IEEE Trans. Computers.
[6] Lorenzo Strigini,et al. Destination Stripping Dual Ring: A New Protocol for MANs , 1992, Comput. Networks ISDN Syst..
[7] Giovanni Chiola,et al. A symbolic simulation mechanism for well-formed coloured Petri nets , 1992, Proceedings. 25th Annual Simulation Symposium.
[8] Giovanni Chiola,et al. A Simulation Model of a Double Ring Protocol Based on Timed Well-Formed Coloured Petri Nets , 1993, MASCOTS.
[9] Giovanni Chiola,et al. Simulation Framework for Timed and Stochastic Petri Nets , 1991, International Journal in Computer Simulation.
[10] Jean-Michel Ilié,et al. On Well-Formed Nets and Optimizations in Enabling Tests , 1993, Application and Theory of Petri Nets.
[11] Cosimo Anglano,et al. Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.
[12] Giovanni Chiola,et al. GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.
[13] David M. Nicol,et al. Automated Parallelization of Timed Petri-Net Simulations , 1993, J. Parallel Distributed Comput..
[14] Giovanni Chiola,et al. Distributed simulation of Petri nets , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.
[15] Giovanni Chiola,et al. Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.
[16] Leslie Lamport,et al. A fast mutual exclusion algorithm , 1987, TOCS.
[17] S. C. Bruell,et al. An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm , 1992, IEEE Trans. Parallel Distributed Syst..
[18] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.