共 50 条
- [1] A Colored Petri Net for Stock Trading Signal Detection 2016 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2016, : 4551 - 4554
- [2] Formal analysis of an online stock trading system by temporal Petri nets 2001 INTERNATIONAL CONFERENCE ON COMPUTER NETWORKS AND MOBILE COMPUTING, PROCEEDINGS, 2001, : 197 - 202
- [3] Rough set approach for the deadlock detection in Petri nets IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 1435 - 1439
- [4] Model checking of Signal Interpreted Petri Nets 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2748 - 2752
- [5] Deadlock Detection and Avoidance using Signal Interpreted Petri Nets 2012 IEEE INTERNATIONAL CONFERENCE ON CIRCUITS AND SYSTEMS (ICCAS), 2012, : 150 - 155
- [9] PLC programming with signal interpreted Petri nets APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 440 - 449
- [10] Analysis of extended Petri nets with signal language Shanghai Jiaotong Daxue Xuebao, 9 (57-62):