共 50 条
- [21] Schedule modeling based on Petri nets for distributed real-time embedded systems Jisuanji Gongcheng/Computer Engineering, 2006, 32 (18): : 6 - 8
- [27] Real-time implementation of Petri nets into PLC PROCEEDING OF THE 11TH WSEAS INTERNATIONAL CONFERENCE ON COMPUTERS: COMPUTER SCIENCE AND TECHNOLOGY, VOL 4, 2007, : 585 - +
- [28] REAL-TIME PROGRAMS TESTING WITH PETRI NETS TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 83 - 87
- [29] REAL-TIME SPECIFICATION USING PETRI NETS MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 607 - 614
- [30] Integrating Petri nets with design methods for concurrent and real-time systems SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 168 - 171