共 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,
- [28] Design for Microcontroller-Based Photovoltaic Monitoring System Using MATLAB/Simulink 2016 INTERNATIONAL AUTOMATIC CONTROL CONFERENCE (CACS), 2016, : 1 - 6
- [30] Computer aided multi-paradigm modelling to process Petri-Nets and statecharts GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 239 - 253