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

Please use this identifier to cite or link to this item: http://scholars.ntou.edu.tw/handle/123456789/23039

Title:	Reduction Methods for Real-Time Systems using Delay Time Petri Nets
Authors:	E. Juan J. Tsai T. Murata Y. Zhou
Issue Date:	May-2001
Source:	IEEE Transactions on Software Engineering
URI:	http://scholars.ntou.edu.tw/handle/123456789/23039
Appears in Collections:	資訊工程學系

Show full item record

Check