Ernesto López-Mellado

Discret. Event Dyn. Syst., 2022

Discovering a Class of Workflow Nets with Reduced Exceeding Language.

[BibT_eX]

[DOI]

Marisol Vera-Arellano

Proceedings of the 19th International Conference on Electrical Engineering, 2022

2021

Discovering Structurally Simple Workflow Nets by Vector-Based Trace Clustering.

[BibT_eX]

[DOI]

César Barrón-Rubio

Proceedings of the 18th International Conference on Electrical Engineering, 2021

2020

Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels.

[BibT_eX]

[DOI]

Román Pomares-Angelino

Proceedings of the 17th International Conference on Electrical Engineering, 2020

Precision Evaluation of a class of Timed Workflow Nets.

[BibT_eX]

[DOI]

Dimitri Lefebvre

Proceedings of the 7th International Conference on Control, 2020

2019

A Reconfiguration Framework for Multi-Sink Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Information Infrastructure and Networking Symposium, 2019

2018

Discovering Petri Net Models of Discrete-Event Processes by Computing T-Invariants.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2018

Stability Analysis of Discrete Event Systems Modeled by Petri Nets Using Unfoldings.

[BibT_eX]

[DOI]

Alberto Lutz-Ley

IEEE Trans Autom. Sci. Eng., 2018

A scheme for the simulation of networked agent systems modeled by timed hybrid Petri nets.

[BibT_eX]

[DOI]

Enrique Aguayo-Lara

Simul., 2018

2017

A Black-Box Identification Method for Automated Discrete-Event Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

A modeling methodology for designing agents networks using timed hybrid Petri nets.

[BibT_eX]

[DOI]

Simul., 2017

An efficient reconfigurable ad-hoc algorithm for multi-sink wireless sensor networks.

[BibT_eX]

[DOI]

Abraham O. Fapojuwo

Int. J. Distributed Sens. Networks, 2017

Refining Discovered Petri Nets by Sequencing Repetitive Components.

[BibT_eX]

[DOI]

Tonatiuh Flores-Tapia

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

2016

Wireless Sensor Networks Formation: Approaches and Techniques.

[BibT_eX]

[DOI]

J. Sensors, 2016

Special section on dependable control of discrete systems.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2016

Inferring the Repetitive Behaviour from Event Logs for Process Mining Discovery.

[BibT_eX]

[DOI]

Proceedings of the Mining Intelligence and Knowledge Exploration, 2016

An Agent Based Framework for Multi-Sink Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Mexican International Conference on Computer Science, 2016

Discovering Process Models from Incomplete Event Logs using Conjoint Occurrence Classes.

[BibT_eX]

[DOI]

Edelma Rodríguez-Pérez

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, 2016

Identification of Timed Discrete Event Processes. Building Input-Output Petri Net Models.

[BibT_eX]

[DOI]

Edelma Rodríguez-Pérez

Mildreth I. Alcaraz-Mejia

2015

Partial Reconfiguration of Control Systems using Petri Nets Structural Redundancy.

[BibT_eX]

[DOI]

Inf. Technol. Control., 2015

A stepwise method for identification of controlled discrete manufacturing systems.

[BibT_eX]

[DOI]

Int. J. Comput. Integr. Manuf., 2015

A localized multi-sink multi-hop algorithm for wireless sensor networking.

[BibT_eX]

[DOI]

Mario Siller-Gonzalez

Proceedings of the 2015 Global Information Infrastructure and Networking Symposium, 2015

2014

Input-output identification of controlled discrete manufacturing systems.

[BibT_eX]

[DOI]

Int. J. Syst. Sci., 2014

Petri net discovery of discrete event processes by computing t-invariants.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

A Mobile Agent Based Approach for Business Processes Automation.

[BibT_eX]

[DOI]

Int. J. Robotics Appl. Technol., 2013

Identification of partially observable discrete event manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Specification of manufacturing systems controllers using the standard IEC61499.

[BibT_eX]

[DOI]

Mayra Trejo-Hernandez

Proceedings of the 23rd International Conference on Electronics, 2013

Automated modelling of reactive discrete event systems from external behavioural data.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Electronics, 2013

Design and implementation of a robust wireless sensor network.

[BibT_eX]

[DOI]

J. Guadalupe Olascuaga-Cabrera

Andres Mendez-Vazquez

Proceedings of the 23rd International Conference on Electronics, 2013

2012

Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

Modeling and simulation of water distribution systems using timed hybrid Petri nets.

[BibT_eX]

[DOI]

Hassane Alla

Simul., 2012

Preface.

[BibT_eX]

[DOI]

Manuel Silva Suárez

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets.

[BibT_eX]

[DOI]

Alberto Lutz-Ley

J. Guadalupe Olascuaga-Cabrera

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

A Novel Distributed Energy-Efficient Self-Organized Algorithm for Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Andres Mendez-Vazquez

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2012

2011

Agent-Based Synthesis of Distributed Controllers for Discrete Manufacturing Systems.

[BibT_eX]

[DOI]

J. Guadalupe Olascuaga-Cabrera

J. Softw. Eng. Appl., 2011

A multi-objective PSO strategy for energy-efficient ad-hoc networking.

[BibT_eX]

[DOI]

Andres Mendez-Vazquez

Proceedings of the IEEE International Conference on Systems, 2011

A modeling framework for developing networked agents applications.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Electrical Engineering, 2011

Optimal communication distributed Petri net based diagnosers of Discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Electrical Engineering, 2011

State estimation of partially observable des using Fuzzy timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Stepwise identification of automated discrete manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

State uncertainty analysis of Fuzzy Timed DES.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

A modeling framework for urban traffic systems microscopic simulation.

[BibT_eX]

[DOI]

Emmanuel López-Neri

Simul. Model. Pract. Theory, 2010

An identification method for PLC-based automated Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Fuzzy Approximation of DES State.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Workflow Management Based on Mobile Agent Technology.

[BibT_eX]

[DOI]

Miguel Angel Sanchez-Acevedo

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

Mobile agents formation control in 3D environments based on self organization strategies.

[BibT_eX]

[DOI]

Joseph Guadalupe Olascuaga-Cabrera

Félix F. Ramos Corchado

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

Self-organization of mobile devices networks.

[BibT_eX]

[DOI]

Félix F. Ramos Corchado

Proceedings of the 4th IEEE International Conference on System of Systems Engineering, 2009

A Population Control Protocol for Mobile Agent Based Workflow Automation.

[BibT_eX]

[DOI]

Adrian Padilla-Duarte

Proceedings of the IEEE International Conference on Systems, 2009

Off-line Identification of Concurrent Discrete Event Systems Exhibiting Cyclic Behaviour.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2009

2008

Modelling and simulation of complex workflow processes using multi-level Petri nets.

[BibT_eX]

[DOI]

Mayra Padilla-Duarte

Int. J. Simul. Process. Model., 2008

Mobile agent based automation of distributed workflow processes.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on System of Systems Engineering, 2008

2007

Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2007

Marking estimation of fuzzy timed marked graphs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2007

A redundancy based method for Petri net model reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2007

Design of low interaction distributed diagnosers for discrete event systems.

[BibT_eX]

Proceedings of the ICINCO 2007, 2007

A Structural Characterization of Diagnosable Petri Net Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Approximating State of DES Using Fuzzy Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

Redundancy Based Controller Reconfiguration for Fault Recovery of Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Observability analysis of free-choice Petri net models.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

Fault recovery of manufacturing systems based on controller reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE/SMC International Conference on System of Systems Engineering, 2006

Fuzzy State Estimation of Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Modeling and Simulation of Mobile Agents Systems Using a Multi-level Net Formalism.

[BibT_eX]

[DOI]

Mayra Padilla-Duarte

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

2005

Modelling of batch production systems using Petri nets with dynamic tokens.

[BibT_eX]

[DOI]

Norma Villanueva-Paredes

Hugo Almeyda-Canepa

Math. Comput. Simul., 2005

Building reduced petri net models of discrete manufacturing systems.

[BibT_eX]

[DOI]

Math. Comput. Model., 2005

A three-level net formalism for the modeling of multiple mobile robot systems.

[BibT_eX]

[DOI]

Hugo Almeyda-Canepa

Int. J. Comput. Integr. Manuf., 2005

Fault detection and location in DES using Petri nets.

[BibT_eX]

[DOI]

I. Jiménez-Ochoa

Proceedings of the IEEE International Conference on Systems, 2005

Distributed fault diagnosis using Petri net reduced models.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

2004

Modular and hierarchical modeling of interactive mobile agents.

[BibT_eX]

[DOI]

Roberto Sánchez-Herrera

Proceedings of the IEEE International Conference on Systems, 2004

Building diagnosable Petri net models for distributed fault location of DES.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Regulation control of partially observed discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Diagnosability of Discrete Event Systems: a Petri Net based Approach.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

High-Level Modelling of Cooperative Mobile Robot Systems.

[BibT_eX]

[DOI]

Roberto Sánchez-Herrera

Norma Villanueva-Paredes

Proceedings of the Distributed Autonomous Robotic Systems 6, 2004

2003

Observability of discrete event systems modeled by interpreted Petri nets.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 2003

A three-level net formalism for the modelling of multiple mobile robot systems.

[BibT_eX]

[DOI]

Hugo Almeyda-Canepa

Proceedings of the IEEE International Conference on Systems, 2003

A controller-observer scheme for a robotic cell.

[BibT_eX]

[DOI]

José Mireles

Frank L. Lewis

Proceedings of the IEEE International Conference on Systems, 2003

Petri net based fault diagnosis of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

Required event sequences for identification of Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

2002

Analysis of discrete event systems by simulation of timed Petri net models.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2002

Incremental synthesis of Petri net models for identification of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

A passive method for online identification of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Dynamical local properties for estimation and control of discrete event systems modeled by interpreted Petri nets.

[BibT_eX]

[DOI]

Patricia Gutierrez-Robles

Proceedings of the IEEE International Conference on Systems, 2000

Specification and synthesis of control software for flexible manufacturing systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Observer Design for Discrete Event Systems Modeled by Interpreted Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

A Petri net scheme for DES state estimation.

[BibT_eX]

[DOI]

Luis I. Aguirre-Salas

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Asymptotic identification of discrete event systems.

[BibT_eX]

[DOI]

A. Ramirez-Treviro

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1990

A failure recovery scheme for assembly workcells.

[BibT_eX]

[DOI]