@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 = {2006}, 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 = {3080-180X}, doi = {https://doi.org/}, url = {http://global-sci.org/intro/article_detail/jics/22858.html} }