Amanote Research

Amanote Research

    RegisterSign In

Genet: A Tool for the Synthesis and Mining of Petri Nets

doi 10.1109/acsd.2009.6
Full Text
Open PDF
Abstract

Available in full text

Date

July 1, 2009

Authors
Josep CarmonaJordi CortadellaMichael Kishinevsky
Publisher

IEEE


Related search

Romeo: A Tool for Analyzing Time Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

An Efficient Process Mining Model for Petri Nets in Process Discovery

IOSR Journal of Computer Engineering
2014English

Controller Synthesis of Time Petri Nets Using Stopwatch

Journal of Engineering (United States)
Electronic EngineeringIndustrialMechanical EngineeringCivilStructural EngineeringManufacturing EngineeringHardwareElectricalChemical EngineeringArchitecture
2013English

Implementation of Algorithm of Petri Nets Distributed Synthesis Into FPGA

International Journal of Electronics and Telecommunications
2013English

Synthesis of Macro Petri Nets Into FPGA With Distributed Memories

International Journal of Electronics and Telecommunications
2012English

The Symmetry Method for Coloured Petri Nets

DAIMI Report Series
2002English

Supervisors of Petri Nets

Research Papers Faculty of Materials Science and Technology Slovak University of Technology
2019English

Control Optimality for Ordinary Petri Nets

IFAC Proceedings Volumes
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy