共 50 条
- [21] Early Quantitative Software Reliability Prediction Using Petri-nets IEEE REGION 10 COLLOQUIUM AND THIRD INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS, VOLS 1 AND 2, 2008, : 853 - +
- [22] IDENTIFICATION OF A SEQUENTIAL CONTROL-SYSTEM, USING PETRI-NETS RAIRO-AUTOMATIQUE-PRODUCTIQUE INFORMATIQUE INDUSTRIELLE-AUTOMATIC CONTROL PRODUCTION SYSTEMS, 1987, 21 (03): : 273 - 292
- [24] Automated verification of SDL specifications using numerical petri-nets Proceedings of the SDL Forum, 1991,
- [26] Design for Microcontroller-Based Photovoltaic Monitoring System Using MATLAB/Simulink 2016 INTERNATIONAL AUTOMATIC CONTROL CONFERENCE (CACS), 2016, : 1 - 6
- [28] 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
- [29] Petri-nets as an Intermediate Representation for Heterogeneous Architectures EURO-PAR 2011 PARALLEL PROCESSING, PT 2, 2011, 6853 : 226 - 237
- [30] Computer aided multi-paradigm modelling to process Petri-Nets and statecharts GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 239 - 253