In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining LTS decomposition techniques and corresponding PN composition operators to recombine the solutions of the various components. The paper explores how an articulation decomposition, possibly combined with a product and addition technique developed in previous papers, may be used in this respect and generalises sequence operators, as well as looping ones.
CITATION STYLE
Devillers, R. (2019). Articulation of Transition Systems and Its Application to Petri Net Synthesis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11522 LNCS, pp. 113–126). Springer Verlag. https://doi.org/10.1007/978-3-030-21571-2_8
Mendeley helps you to discover research relevant for your work.