مرکز منطقه ای اطلاع رساني علوم و فناوري - An incremental verification technique using decomposition of Petri nets

DocumentCode :

388917

Title :

An incremental verification technique using decomposition of Petri nets

Author :

Haddad, Serge ; Ilié, Jean-Michel ; Klai, Kais

Author_Institution :

Lab. Lamsade, Universite Paris Dauphine

Volume :

fYear :

2002

fDate :

6-9 Oct. 2002

Firstpage :

381

Lastpage :

386

Keywords :

Buildings; Information analysis; Logic; Petri nets; Protocols; Scheduling algorithm; Specification languages; State-space methods; Testing;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

Systems, Man and Cybernetics, 2002 IEEE International Conference on

Conference_Location :

Yasmine Hammamet, Tunisia

ISSN :

1062-922X

Print_ISBN :

0-7803-7437-1

Type :

conf

DOI :

10.1109/ICSMC.2002.1173442

Filename :

1173442

Link To Document :