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

2

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