Published December 13, 2016 | Version v1
Dataset Open

Benchmark Petri Net Models Used for the Evaluation of B-I-Sat

Authors/Creators

  • 1. Budapest University of Technology and Economics

Description

Collection and documentation of the benchmark Petri net models used for the evaluation of the B-I-Sat algorithm.

Files

bisat-pn-models.pdf

Files (7.3 MB)

Name Size Download all
md5:0f6390db3ed463addf14d76903a0ab77
411.1 kB Preview Download
md5:961647c98ceed6c4f77715c4fd76de0a
6.9 MB Preview Download