Checking time petri nets for linear duration properties

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

2 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Petri Nets and Performance Models (PNPM'99)
Kustantaja	IEEE Computer Society
Sivut	218–227
ISBN (painettu)	0-7695-0331-4
DOI - pysyväislinkit	https://doi.org/10.1109/PNPM.1999.796568
Tila	Julkaistu - 1999
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	conference; 1999-09-08; 1999-09-10 - The 8th International Workshop on Petri Nets and Performance Models Kesto: 8 syysk. 1999 → 10 syysk. 1999

Konferenssi	conference; 1999-09-08; 1999-09-10
Ajanjakso	08/09/99 → 10/09/99

Pääsy asiakirjaan

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