Performance analysis of processes by automated simulation of Coloured Petri nets
暂无分享,去创建一个
[1] Lars Michael Kristensen,et al. Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .
[2] Peter J. Haas,et al. Stochastic Petri Nets: Modelling, Stability, Simulation , 2002 .
[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[4] Lars Michael Kristensen,et al. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.
[5] Peter Buchholz,et al. Queueing Petri Nets with Product Form Solution , 1998, Perform. Evaluation.
[6] Michael Westergaard,et al. The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator , 2009, Petri Nets.
[7] Michael Westergaard,et al. The BRITNeY Suite Animation Tool , 2006, ICATPN.