Petri net modeling analysis of processes at clutch time in NBA games
暂无分享,去创建一个
[1] C. Petri. Kommunikation mit Automaten , 1962 .
[2] Dimitris Kiritsis,et al. A generic Petri net model for dynamic process planning and sequence optimization , 1996 .
[3] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[4] Louchka Popova-Zeugmann,et al. Using State Equation to Prove Non-Reachability in Timed Petrinets , 2003, Fundam. Informaticae.
[5] Zhiwu Li,et al. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .
[6] MengChu Zhou,et al. Business and Scientific Workflows: A Web Service-Oriented Approach , 2013 .
[7] Catalina M. Lladó,et al. PIPE v 2 . 5 : a Petri Net Tool for Performance Modeling , 2007 .
[8] Weimin Wu,et al. Petri net modeling of information flow in the online train ticket booking system , 2012, 2012 IEEE International Conference on Automation and Logistics.
[9] Nancy G. Leveson,et al. Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.