Performance evaluation using timed coloured Petri nets
暂无分享,去创建一个
[1] Wil M. P. van der Aalst,et al. Applications and Theory of Petri Nets , 1983, Informatik-Fachberichte.
[2] Wlodzimierz M. Zuberek,et al. M–TIMED PETRI NETS, PRIORITIES, PREEMPTIONS, AND PERFORMANCE EVALUATION OF SYSTEMS , 2007 .
[3] Hartmann J. Genrich,et al. Predicate/Transition Nets , 1986, Advances in Petri Nets.
[4] Kurt Lautenbach,et al. System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..
[5] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[6] Jonathan Billington. Specification of the Transport Service Using Numerical Petri Nets , 1982, PSTV.
[7] Kurt Jensen,et al. Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..
[8] Kurt Jensen. High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.
[9] Kurt Jensen. Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.
[10] W. M. Zuberek. D-timed Petri nets and modelling of timeouts and protocol , 1987 .