Model Checking of Time Petri Nets Using the State Class Timed Automaton

Author： Lime Didier   Roux Olivier  

Publisher： Springer Publishing Company

ISSN： 0924-6703

Source： Discrete Event Dynamic Systems, Vol.16, Iss.2, 2006-04, pp. : 179-205

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets

By Boucheneb Hanifa   Hadjidj Rachid  

International Journal of Embedded Systems, Vol. 2, Iss. 1-2, 2006-07 ,pp. : 128-139

Inderscience Publishers

Access to resources Recommend Favorite

Petri nets, traces, and local model checking

By Cheng A.  

Theoretical Computer Science, Vol. 183, Iss. 2, 1997-09 ,pp. : 229-251

Elsevier

Access to resources Recommend Favorite

ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS

By Komenda Jan   Moudni A. El   Zerhouni N.   Ferney M.  

Cybernetics and Systems, Vol. 28, Iss. 7, 1997-10 ,pp. : 607-624

Taylor & Francis Ltd

Access to resources Recommend Favorite

Synthesis of AGVS by coloured-timed Petri nets

By Hsieh Suhua  

International Journal of Computer Integrated Manufacturing, Vol. 11, Iss. 4, 1998-07 ,pp. : 334-346

Taylor & Francis Ltd

Access to resources Recommend Favorite

A theory of implementation and refinement in timed Petri nets

By Felder M.   Gargantini A.   Morzenti A.  

Theoretical Computer Science, Vol. 202, Iss. 1, 1998-07 ,pp. : 127-161

Elsevier

Access to resources Recommend Favorite