共 50 条
- [41] Optimal Petri-net supervisor synthesis based on the constraint transformation Zhejiang Daxue Xuebao (Gongxue Ban), 2013, 11 (2051-2056+2072):
- [42] A PETRI-NET BASED APPROACH FOR VERIFYING THE INTEGRITY OF PRODUCTION SYSTEMS INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1992, 36 (03): : 447 - 468
- [43] Petri-net based modeling method for trust negotiation policy Gaojishu Tongxin, 2006, 4 (342-347):
- [45] A Petri-Net Based Context Representation in Smart Car Environment ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS, 2010, 6104 : 162 - 173
- [46] Petri-Net Based Control of Six Legged Spider Robot PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS (ICAR), 2015, : 117 - 122
- [47] Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings WEB SERVICES AND FORMAL METHODS, 2011, 6551 : 101 - 115
- [49] Workflow model of equipment maintenance support based on Petri-net 2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 931 - 934