This paper first recapitulates an algorithm for Petri net synthesis. Then, this algorithm is extended to special classes of Petri nets. For this purpose, any combination of the properties plain, pure, conflict-free, homogeneous, k-bounded, generalized T-net, generalized marked graph, place-output-nonbranching and distributed can be specified. Finally, a fast heuristic and an algorithm for minimizing the number of places in the synthesized Petri net is presented and evaluated experimentally.
CITATION STYLE
Schlachter, U. (2016). Petri net synthesis for restricted classes of nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9698, pp. 79–97). Springer Verlag. https://doi.org/10.1007/978-3-319-39086-4_6
Mendeley helps you to discover research relevant for your work.