Checking time petri nets for linear duration properties

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

2 Citeringar (Scopus)

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Petri Nets and Performance Models (PNPM'99)
Förlag	IEEE Computer Society
Sidor	218–227
ISBN (tryckt)	0-7695-0331-4
DOI	https://doi.org/10.1109/PNPM.1999.796568
Status	Publicerad - 1999
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	conference; 1999-09-08; 1999-09-10 - The 8th International Workshop on Petri Nets and Performance Models Varaktighet: 8 sep. 1999 → 10 sep. 1999

Konferens	conference; 1999-09-08; 1999-09-10
Period	08/09/99 → 10/09/99

Åtkomst av dokument

@inproceedings{135a4337298444fabc64c212fc39f779,

title = "Checking time petri nets for linear duration properties",

author = "Li Xuandong and Johan Lilius",

year = "1999",

doi = "10.1109/PNPM.1999.796568",

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

isbn = "0-7695-0331-4",

pages = "218–227",

booktitle = "Petri Nets and Performance Models (PNPM'99)",

publisher = "IEEE Computer Society",

note = "conference; 1999-09-08; 1999-09-10 ; Conference date: 08-09-1999 Through 10-09-1999",

}

TY - GEN

T1 - Checking time petri nets for linear duration properties

AU - Xuandong, Li

AU - Lilius, Johan

PY - 1999

Y1 - 1999

U2 - 10.1109/PNPM.1999.796568

DO - 10.1109/PNPM.1999.796568

M3 - Konferensbidrag

SN - 0-7695-0331-4

SP - 218

EP - 227

BT - Petri Nets and Performance Models (PNPM'99)

PB - IEEE Computer Society

T2 - conference; 1999-09-08; 1999-09-10

Y2 - 8 September 1999 through 10 September 1999

ER -