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

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: http://hdl.handle.net/2117/133838

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Carmona Vargas, Josep
dc.contributor.author	Cortadella, Jordi
dc.contributor.author	Kishinevsky, Michael
dc.date	2009
dc.identifier.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.
dc.identifier.citation	978-0-7695-3697-2
dc.identifier.citation	10.1109/ACSD.2009.6
dc.identifier.uri	http://hdl.handle.net/2117/133838
dc.language.iso	eng
dc.publisher	Institute of Electrical and Electronics Engineers (IEEE)
dc.relation	https://ieeexplore.ieee.org/document/5291046
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject	Data mining
dc.subject	Petri nets
dc.subject	Concurrent computing
dc.subject	Visualization
dc.subject	Explosions
dc.subject	Digital systems
dc.subject	Intelligent systems
dc.subject	Monitoring
dc.subject	Data structures
dc.subject	Algorithm design and analysis
dc.subject	Design optimization
dc.subject	Mineria de dades
dc.subject	Petri, Xarxes de
dc.title	Genet: a tool for the synthesis and mining of Petri nets
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.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 of digital systems to business intelligence.
dc.description.abstract	Peer Reviewed

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author