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-23-09 at 05:14

Share link