Reduction methods for real-time systems using delay time Petri nets

Y Zhou - IEEE transactions on Software Engineering, 2001 - ieeexplore.ieee.org
We present a new net-reduction methodology to facilitate the analysis of real-time systems
using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important techniques …

Reduction methods for real-time systems using Delay Time Petri Nets

EYT Juan, JJP Tsai, T Murata, Y Zhou - IEEE Transactions on Software …, 2001 - elibrary.ru
This paper presents a new net-reduction methodology to facilitate the analysis of real-time
systems using Delay Time Petri Nets (DTPNs). This paper introduces DTPNs which are …

[引用][C] Reduction Methods for Real-Time Systems using Delay Time Petri Nets

E Juan, J Tsai, T Murata, Y Zhou - IEEE Transactions on …, 2001 - scholars.ntou.edu.tw
Reduction Methods for Real-Time Systems using Delay Time Petri Nets | National Taiwan
Ocean University Research Hub Skip navigation 中文 English DSpace CRIS DSpace logo …

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets

EYT Juan, JJP Tsai, T Murata, Y Zhou - IEEE Transactions on …, 2001 - computer.org
This paper presents a new net-reduction methodology to facilitate the analysis of real-time
systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important …

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets

EYT Juan, JJP Tsai, T Murata, Y Zhou - IEEE Transactions on Software …, 2001 - dl.acm.org
This paper presents a new net-reduction methodology to facilitate the analysis of real-time
systems using Delay Time Petri Nets (DTPNs). Net reduction is one of the most important …

Reduction methods for real-time systems using Delay Time Petri Nets

EYT Juan, JJP Tsai, T Murata… - IEEE Transactions on …, 2001 - search.proquest.com
This paper presents a new net-reduction methodology to facilitate the analysis of real-time
systems using Delay Time Petri Nets (DTPNs). This paper introduces DTPNs which are …

[引用][C] Reduction Methods for Real-Time Systems using Delay Time Petri Nets

JJP Tsai, JT Murata, Y Zhou - 2001 - Asia University