共 50 条
- [3] Dynamic Fault Tree Analysis Based on Petri Nets PROCEEDINGS OF 2009 8TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY AND SAFETY, VOLS I AND II: HIGHLY RELIABLE, EASY TO MAINTAIN AND READY TO SUPPORT, 2009, : 138 - 142
- [6] Transforming Communicating Sequential Processes to Petri Nets PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY, 2010, 94
- [7] Symbolic Analysis of Timed Petri Nets THEORY AND ENGINEERING OF COMPLEX SYSTEMS AND DEPENDABILITY, 2015, 365 : 593 - 602
- [8] Ore value chain modeling and cost analysis based on Petri nets GOSPODARKA SUROWCAMI MINERALNYMI-MINERAL RESOURCES MANAGEMENT, 2018, 34 (03): : 99 - 118