Efficient Reachability Analysis for Time Petri Nets

[摘要]：We propose in this paper some efficient approaches, based on the state class graph method, to construct abstractions for the Time Petri Net (TPN) model, suitable to verify its linear or reachability properties. Experimental results have shown that these a

[全文传递流程]：

一般上传文献全文的时限在1个工作日内