Modeling and Analyzing Project Performance with Timing Constraint Petri Net
暂无分享,去创建一个
[1] Khaled Ghédira,et al. Reachability search in timed Petri nets using constraint programming , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
[2] François Vernadat,et al. Abstract State Spaces for Time Petri Nets Analysis , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[3] Philippe Chrétienne,et al. Timed Petri net schedules , 1987, European Workshop on Applications and Theory of Petri Nets.
[4] Bernard Berthomieu,et al. An Enumerative Approach for Analyzing Time Petri Nets , 1983, IFIP Congress.
[5] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[6] Vedran Kordic,et al. Petri Net, Theory and Applications , 2008 .
[7] C. Ramchandani,et al. Analysis of asynchronous concurrent systems by timed petri nets , 1974 .
[8] François Vernadat,et al. State Class Constructions for Branching Analysis of Time Petri Nets , 2003, TACAS.