共 50 条
- [1] Generic modeling of manufacturing processes using Petri net representation INES'97 : 1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT ENGINEERING SYSTEMS, PROCEEDINGS, 1997, : 539 - 544
- [3] Petri-net based scheduling strategy for semiconductor manufacturing processes CHEMICAL ENGINEERING RESEARCH & DESIGN, 2011, 89 (3A): : 291 - 300
- [4] Extended Petri-net modeling for re-manufacturing line simulation FIRST INTERNATIONAL SYMPOSIUM ON ENVIRONMENTALLY CONSCIOUS DEGIGN AND INVERSE MANUFACTURING, PROCEEDINGS, 1999, : 83 - 88
- [7] REPRESENTATION OF NONSTRUCTURED CONCURRENCY BY PETRI-NET LANGUAGES IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (03): : 872 - 875
- [8] A Petri-net model for formal modeling of WS-BPEL processes 2012 INTERNATIONAL SYMPOSIUM ON INFORMATION SCIENCE AND ENGINEERING (ISISE), 2012, : 203 - 207
- [9] Formal verification of SystemC designs using a Petri-Net based representation 2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 1228 - +