Extracting High-Level Information from Petri Nets: A Railroad Case

Kristoffersen, Thor; Hagalisletto, Anders Moen; Hansen, Hallstein Asheim

December 01, 2003

DART

• ISBN:
• Author(s): Kristoffersen, Thor; Hagalisletto, Anders Moen; Hansen, Hallstein Asheim
• Title: Extracting High-Level Information from Petri Nets: A Railroad Case
• Volume/number: 52
• Name and number of project:
• Journal: Proceedings of the Estonian Academy of Sciences - Physics and Mathematics
• Page(s):
• Conference:
• Refereed: 1
• Publisher:
• Published date: December 01, 2003
• Book title:
• Editor: