Toggle Main Menu Toggle Search

Open Access padlockePrints

PNIF: An Interchange Format for System Specification with Coloured Petri Nets

Lookup NU author(s): Dr Albert Koelmans, Professor Alex Yakovlev, Professor David Kinniment



Petri Nets are becoming increasingly popular as a means to formally specify and verify hardware systems at a high level. Many tools are being developed. Unfortunately, no common format is available that would allow these tools to interchange designs, for two main reasons: most tools only implement a subset of the Petri Net notation, and many tools do not allow the use of hierarchy. We present an interchange format for the description of hierarchical Coloured Petri Nets. It has many features in common with EDIF.

Publication metadata

Author(s): Koelmans AM, Yakovlev A, Kinniment DJ, Xu Y

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1995

Pages: 11

Print publication date: 01/01/1995

Source Publication Date: 1995

Report Number: 538

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne