arrow
Volume 1, Issue 1
Component-Level Reduction Rules for Time Petri Nets Based on DTPN

J. Info. Comput. Sci. , 1 (2006), pp. 37-46.

Export citation
  • 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.
  • AMS Subject Headings

  • Copyright

COPYRIGHT: © Global Science Press

  • Email address
  • 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
The citation has been copied to your clipboard