The source code in this release belongs to the paper "Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets" accepted at IFIP/IEEE IM 2019 by Stefan Schneider, Sharma Arnab, Holger Karl, and Heike Wehrheim.
Lead developer: Stefan Schneider