Skip to content

Building Insightful Simulation Models using Formal Approaches - A Case Study on Petri Nets.

Durk-Jouke van der Zee

Year2009
ProceedingsWSC

Browse the full WSC paper archive.