A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
[article]
2021
arXiv
pre-print
In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems, such that each component is synthesisable iff so is the original system. Then corresponding Petri Net composition operators are searched to combine the solutions of the various components into a solution of the original system. The paper presents two such techniques, which may be combined: products and articulations.
arXiv:2111.00202v3
fatcat:fdcs2h7uwjgtrljseunslc47j4