Checking time petri nets for linear duration properties

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Xuandong Li, Johan Lilius
Publisher: IEEE Computer Society Press
Publication year: 1999
Publisher: IEEE Computer Society
Book title: Petri Nets and Performance Models (PNPM'99)
Start page: 218
End page: 227
ISBN: 0-7695-0331-4
ISSN: 1063-6714

Last updated on 2019-25-08 at 06:58