Loading...
Loading...

Go to the content (press return)

A symbolic algorithm for the synthesis of bounded Petri nets

Author
Carmona, J.; Cortadella, J.; Kishinevsky, M.; Kondratyev, A.; Lavagno, L.; Yakovlev, A.
Type of activity
Presentation of work at congresses
Name of edition
29th International Conference on Applications and Theory of Petri Nets
Date of publication
2008
Book of congress proceedings
Applications and Theory of Petri Nets: 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008: proceedings
First page
92
Last page
111
Publisher
Springer
DOI
10.1007/978-3-540-68746-7_10
Repository
http://hdl.handle.net/2117/130963 Open in new window
URL
https://link.springer.com/chapter/10.1007/978-3-540-68746-7_10 Open in new window
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...
Citation
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.
Keywords
Boolean function, Concurrent system, Minimal region, Symbolic representation, Transition system
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

  • Carmona Vargas, Jose  (author and speaker )
  • Cortadella Fortuny, Jordi  (author and speaker )
  • Kishinevsky, Michael  (author and speaker )
  • Kondratyev, Alex  (author and speaker )
  • Lavagno, Luciano  (author and speaker )
  • Yakovlev, Alex  (author and speaker )

Attachments