| 公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
|---|---|---|---|---|---|---|
| 1998 | Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules | E. Juan ; J. Tsai; T. Murata | ACM Transactions on Programming Languages and Systems | |||
| 2001 | Reduction Methods for Real-Time Systems using Delay Time Petri Nets | E. Juan ; J. Tsai; T. Murata; Y. Zhou | IEEE Transactions on Software Engineering |
