A symbolic algorithm for the synthesis of bounded Petri nets
Visualitza/Obre
10.1007/978-3-540-68746-7_10
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/130963
Tipus de documentText en actes de congrés
Data publicació2008
EditorSpringer
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events are split into several transitions to guarantee the synthesis of a Petri net with bisimilar behavior. The algorithm uses symbolic representations of multisets of states to efficiently generate all the minimal regions. The algorithm has been implemented in a tool. Experimental results show a significant net reduction when compared with approaches for the synthesis of safe Petri nets.
CitacióCarmona, J. [et al.]. A symbolic algorithm for the synthesis of bounded Petri nets. A: International Conference on Applications and Theory of Petri Nets. "Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008: proceedings". Springer, 2008, p. 92-111.
ISBN978-3-540-68746-7
Versió de l'editorhttps://link.springer.com/chapter/10.1007/978-3-540-68746-7_10
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
A_symbolic_algorithm_for_the_synthesis_o.pdf | 344,6Kb | Visualitza/Obre |