共 50 条
- [21] Modeling Petri Nets Using Alloy [J]. TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
- [22] Modeling of Operative Sequences of Protections in Power Transmission Systems using Petri Nets [J]. 2008 IEEE/PES TRANSMISSION AND DISTRIBUTION CONFERENCE AND EXPOSITION: LATIN AMERICA, VOLS 1 AND 2, 2008, : 382 - +
- [23] Modeling and Analyzing Transmission of Infectious Diseases Using Generalized Stochastic Petri Nets [J]. APPLIED SCIENCES-BASEL, 2021, 11 (18):
- [24] Modeling system integrity of a security critical system using Colored Petri Nets [J]. Safety and Security Engineering, 2005, 82 : 3 - 12
- [25] Modeling and Hazard Analysis of Railway Station Protection System Based on Stochastic Petri Nets [J]. 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, : 493 - 496
- [26] DG and protection systems in distribution network: Failure monitoring system based on Petri Nets [J]. 2007 IREP SYMPOSIUM- BULK POWER SYSTEM DYNAMICS AND CONTROL - VII REVITALIZING OPERATIONAL RELIABLITY, VOLS 1 AND 2, 2007, : 313 - 319
- [27] SYSTEM MODELING BY MEANS OF TIME PETRI NETS [J]. EKONOMICKO-MATEMATICKY OBZOR, 1986, 22 (01): : 88 - 98
- [28] Reliability modeling of an industrial system with Petri nets [J]. RISK, RELIABILITY AND SOCIETAL SAFETY, VOLS 1-3: VOL 1: SPECIALISATION TOPICS; VOL 2: THEMATIC TOPICS; VOL 3: APPLICATIONS TOPICS, 2007, : 1087 - 1094
- [29] Modeling and Analysis of an Online Score System Using Colored Petri Nets [J]. PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 432 - 436