Checking time petri nets for linear duration properties

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Petri Nets and Performance Models (PNPM'99)
Publisher	IEEE Computer Society
Pages	218–227
ISBN (Print)	0-7695-0331-4
DOIs	https://doi.org/10.1109/PNPM.1999.796568
Publication status	Published - 1999
MoE publication type	A4 Article in a conference publication
Event	conference; 1999-09-08; 1999-09-10 - The 8th International Workshop on Petri Nets and Performance Models Duration: 8 Sept 1999 → 10 Sept 1999

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

Access to Document

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