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

Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Sivut	219–224
Julkaisu	Information Processing Letters
Vuosikerta	77
Numero	5-6
DOI - pysyväislinkit	https://doi.org/10.1016/S0020-0190(00)00156-3
Tila	Julkaistu - 2001
OKM-julkaisutyyppi	A1 Julkaistu artikkeli, soviteltu

Pääsy asiakirjaan

@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",

}