Efficient verification of a class of time Petri nets using linear programming

Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review

1 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Sidor (från-till)	219–224
Tidskrift	Information Processing Letters
Volym	77
Nummer	5-6
DOI	https://doi.org/10.1016/S0020-0190(00)00156-3
Status	Publicerad - 2001
MoE-publikationstyp	A1 Tidskriftsartikel-refererad

Åtkomst av dokument

@article{acbb5c963023407391478376dd69f8db,

title = "Efficient verification of a class of time Petri nets using linear programming",

author = "Li Xuandong and Johan Lilius",

year = "2001",

doi = "10.1016/S0020-0190(00)00156-3",

language = "Odefinierat/ok{\"a}nt",

volume = "77",

pages = "219–224",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "5-6",

}