Component-Level Reduction Rules for Time Petri Nets Based on DTPN
Cited by
Export citation
- BibTex
- RIS
- TXT
@Article{JICS-1-37,
author = {},
title = {Component-Level Reduction Rules for Time Petri Nets Based on DTPN},
journal = {Journal of Information and Computing Science},
year = {2024},
volume = {1},
number = {1},
pages = {37--46},
abstract = {Time Petri Nets (TPNs) are a popular Petri net model for specification and verification of real-time
systems. A widely applied method for analyzing Petri nets is component-level reduction analysis. The
existing technique for component-level reduction analysis transforms a TPN component to a constant size of
simple one while maintains the net external observable timing properties, but it neglects the internal
properties of component such as synchronization, conflict and concurrency. Based on Delay Time Petri Net
(DTPN), the paper transforms a TPN component to DTPN model in order to preserve such properties as
synchronization, conflict and concurrency during the reduction. For the sake of analyzing the DTPN model,
the paper proposes new schedule analysis method. Finally, reduction rules based on DTPN are applied to the
TPN model analysis in the command and control (C2) system.
},
issn = {1746-7659},
doi = {https://doi.org/},
url = {http://global-sci.org/intro/article_detail/jics/22858.html}
}
TY - JOUR
T1 - Component-Level Reduction Rules for Time Petri Nets Based on DTPN
AU -
JO - Journal of Information and Computing Science
VL - 1
SP - 37
EP - 46
PY - 2024
DA - 2024/01
SN - 1
DO - http://doi.org/
UR - https://global-sci.org/intro/article_detail/jics/22858.html
KW - component-level reduction rules
KW - DTPN model
KW - new DTPN(cid:146) schedule analysis method
KW - C2
system.
AB - Time Petri Nets (TPNs) are a popular Petri net model for specification and verification of real-time
systems. A widely applied method for analyzing Petri nets is component-level reduction analysis. The
existing technique for component-level reduction analysis transforms a TPN component to a constant size of
simple one while maintains the net external observable timing properties, but it neglects the internal
properties of component such as synchronization, conflict and concurrency. Based on Delay Time Petri Net
(DTPN), the paper transforms a TPN component to DTPN model in order to preserve such properties as
synchronization, conflict and concurrency during the reduction. For the sake of analyzing the DTPN model,
the paper proposes new schedule analysis method. Finally, reduction rules based on DTPN are applied to the
TPN model analysis in the command and control (C2) system.
. (2024). Component-Level Reduction Rules for Time Petri Nets Based on DTPN.
Journal of Information and Computing Science. 1 (1).
37-46.
doi:
Copy to clipboard