A symbolic algorithm for the synthesis of bounded Petri nets

Thumbnail
View/Open
Carmona Vargas, JosepMés informacióMés informacióMés informació
Cortadella, JordiMés informacióMés informacióMés informació
Kishinevsky, Michael
Kondratyev, Alex
Lavagno, Luciano
Yakovlev, Alex
Document typeConference report
Defense date2008
PublisherSpringer
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
CitationCarmona, 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. 
URIhttp://hdl.handle.net/2117/130963
DOI10.1007/978-3-540-68746-7_10
ISBN978-3-540-68746-7
Publisher versionhttps://link.springer.com/chapter/10.1007/978-3-540-68746-7_10
Collections

FilesDescriptionSizeFormatView
A_symbolic_algorithm_for_the_synthesis_o.pdf344,6KbPDFView/Open