共 50 条
- [21] A METHOD FOR THE ANALYSIS OF PETRI-NETS - ANALYSIS OF THE PSEUDO-INTENSITY OF PETRI-NETS VIA RESOLUTION OF A LINEAR-SYSTEM RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1987, 21 (06): : 553 - 568
- [23] Petri-nets as an Intermediate Representation for Heterogeneous Architectures EURO-PAR 2011 PARALLEL PROCESSING, PT 2, 2011, 6853 : 226 - 237
- [24] Modeling of the PLC behavior in intralogistics with non-autonomous hybrid Petri-Nets ELECTRONICS, MECHATRONICS AND AUTOMATION III, 2014, 666 : 349 - 353
- [26] Towards the verification of scenarios with time Petri-nets 24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 503 - 508
- [29] Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (135): : 88 - 94
- [30] Towards SDN Fault Tolerance using Petri-Nets 2018 28TH INTERNATIONAL TELECOMMUNICATION NETWORKS AND APPLICATIONS CONFERENCE (ITNAC), 2018, : 41 - 43