2022 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) 2022
DOI: 10.1109/aqtr55203.2022.9801955
|View full text |Cite
|
Sign up to set email alerts
|

Approaching Problems with Different Kinds of Petri Net Models

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 15 publications
0
1
0
Order By: Relevance
“…Some extensions like GSPN, SAN, SRN, and Colored PN provide more powerful modeling facilities for complex system analysis. 7,8 Some researchers focus on automatically converting one type of reliability model to another, that is, FT to GSPN, for model formal specification and verification. 9 Generally, the choice of a suitable reliability modeling method is determined by factors: familiarity of the user with the model type, the behavior properties of the system to be modeled, ease of use in a particular application, and conciseness.…”
Section: Introductionmentioning
confidence: 99%
“…Some extensions like GSPN, SAN, SRN, and Colored PN provide more powerful modeling facilities for complex system analysis. 7,8 Some researchers focus on automatically converting one type of reliability model to another, that is, FT to GSPN, for model formal specification and verification. 9 Generally, the choice of a suitable reliability modeling method is determined by factors: familiarity of the user with the model type, the behavior properties of the system to be modeled, ease of use in a particular application, and conciseness.…”
Section: Introductionmentioning
confidence: 99%