A structural colour simplification in well-formed coloured nets
暂无分享,去创建一个
[1] Giovanni Chiola,et al. Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications , 1991 .
[2] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[3] Giovanni Chiola,et al. A condition for behaviour-preserving colour simplification in well-formed coloured nets , 1991, 1991., IEEE International Sympoisum on Circuits and Systems.
[4] Hartmann J. Genrich,et al. Predicate/Transition Nets , 1986, Advances in Petri Nets.
[5] Giovanni Chiola,et al. On Well-Formed Coloured Nets and Their Symbolic Reachability Graph , 1991 .
[6] 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..
[7] Giovanni Chiola,et al. Colored GSPN models and automatic symmetry detection , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.