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

Research output: Contribution to journal › Article › Scientific › peer-review

1 Citation (Scopus)

Original language	Undefined/Unknown
Pages (from-to)	219–224
Journal	Information Processing Letters
Volume	77
Issue number	5-6
DOIs	https://doi.org/10.1016/S0020-0190(00)00156-3
Publication status	Published - 2001
MoE publication type	A1 Journal article-refereed

Access to Document

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

}