Loading...
Loading...

Go to the content (press return)

Genet: a tool for the synthesis and mining of Petri nets

Author
Carmona, J.; Cortadella, J.; Kishinevsky, M.
Type of activity
Presentation of work at congresses
Name of edition
9th International Conference on Application of Concurrency to System Design
Date of publication
2009
Presentation's date
2009-07
Book of congress proceedings
Ninth International Conference on Application of Concurrency to System Design: 1-3 July 2009, Augsburg, Germany: proceedings
First page
181
Last page
185
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
DOI
10.1109/ACSD.2009.6
Repository
http://hdl.handle.net/2117/133838 Open in new window
URL
https://ieeexplore.ieee.org/document/5291046 Open in new window
Abstract
State-based representations of concurrent systems suffer from the well known state explosion problem. In contrast, Petri nets are good models for this type of systems both in terms of complexity of the analysis and in visualization of the model. In this paper we present Genet, a tool that allows the derivation of a general Petri net from a state-based representation of a system. The tool supports two modes of operation: synthesis and mining. Applications of these two modes range from synthesis o...
Citation
Carmona, J.; Cortadella, J.; Kishinevsky, M. Genet: a tool for the synthesis and mining of Petri nets. A: International Conference on Application of Concurrency to System Design. "Ninth International Conference on Application of Concurrency to System Design: 1-3 July 2009, Augsburg, Germany: proceedings". Institute of Electrical and Electronics Engineers (IEEE), p. 181-185.
Keywords
Algorithm design and analysis, Concurrent computing, Data structures, Design optimization, Digital systems, Explosions, Intelligent systems, Monitoring, Petri nets, Visualization
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments