Genet: a tool for the synthesis and mining of Petri nets
Document typeConference report
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
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
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 of digital systems to business intelligence.
CitationCarmona, 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.