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.