On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. - Cristian Mahulea; Alessandro Giua; Laura Recalde; Carla Seatzu; Manuel Silva 001 (ADHS, 2006)

Improving analysis and simulation of continuous Petri Nets. - Laura Recalde; Cristian Mahulea; Manuel Silva Suárez (CASE, 2006)

Optimal Control of Timed Continuous Petri Nets via Explicit MPC. - Alessandro Giua; Cristian Mahulea; Laura Recalde; Carla Seatzu; Manuel Silva 001 (POSTA, 2006)

State Estimation of Petri Nets by Transformation. - Maria Paola Cabasino; Alessandro Giua; Cristian Mahulea; Laura Recalde; Carla Seatzu; Manuel Silva Suárez (CASE, 2007)

A state estimation problem for timed continuous Petri nets. - Cristian Mahulea; Maria Paola Cabasino; Alessandro Giua; Carla Seatzu (CDC, 2007)

Formal analysis of timed continuous Petri nets. - Marius Kloetzer; Cristian Mahulea; Calin Belta; Laura Recalde; Manuel Silva Suárez (CDC, 2008)

Optimal Model Predictive Control of Timed Continuous Petri Nets. - Cristian Mahulea; Alessandro Giua; Laura Recalde; Carla Seatzu; Manuel Silva Suárez (IEEE Trans. Autom. Control., 2008)

Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems. - Cristian Mahulea; Antonio Ramírez-Treviño; Laura Recalde; Manuel Silva Suárez (IEEE Trans Autom. Sci. Eng., 2008)

Fault diagnoser design for untimed continuous Petri nets. - Carla Seatzu; Cristian Mahulea; Maria Paola Cabasino; Manuel Silva Suárez (CCA/ISIC, 2009)

Preface. - Alessandro Giua; Cristian Mahulea; Manuel Silva 001; Janan Zaytoon (ADHS, 2009)

An Efficient Heuristics for Minimum Time Control of Continuous Petri nets. - Hanife Apaydin Özkan; Jorge Júlvez; Cristian Mahulea; Manuel Silva 001 (ADHS, 2009)

Constrained invariant motions for networked multi-agent systems. - Mauro Franceschelli; Magnus Egerstedt; Alessandro Giua; Cristian Mahulea (ACC, 2009)

Observer design for untimed continuous Petri nets. - Cristian Mahulea; Carla Seatzu; Maria Paola Cabasino; Laura Recalde; Manuel Silva 001 (ACC, 2009)

New results for fault detection of untimed continuous Petri nets. - Carla Seatzu; Maria Paola Cabasino; Cristian Mahulea; Manuel Silva Suárez (CDC, 2009)

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. - Cristian Mahulea; Laura Recalde; Manuel Silva Suárez (Discret. Event Dyn. Syst., 2009)

On the Importance of the Deadlock Trap Property for Monotonic Liveness. - Monika Heiner; Cristian Mahulea; Manuel Silva Suárez (ACSD/Petri Nets Workshops, 2010)

A control method for timed distributed continuous Petri nets. - Hanife Apaydin Özkan; Jorge Júlvez; Cristian Mahulea; Manuel Silva 001 (ACC, 2010)

An iterative control method for distributed continuous Petri nets. - Hanife Apaydin Özkan; Cristian Mahulea; Jorge Júlvez; Manuel Silva Suárez (CDC, 2010)

Minimum-time control for structurally persistent continuous Petri Nets. - Liewei Wang; Cristian Mahulea; Jorge Júlvez; Manuel Silva Suárez (CDC, 2010)

Fault diagnosis of manufacturing systems using continuous Petri nets. - Maria Paola Cabasino; Carla Seatzu; Cristian Mahulea; Manuel Silva Suárez (SMC, 2010)

SimHPN: A MATLAB toolbox for continuous Petri nets. - Jorge Júlvez; Cristian Mahulea (WODES, 2010)

An Automated Framework for Formal Verification of Timed Continuous Petri Nets. - Marius Kloetzer; Cristian Mahulea; Calin Belta; Manuel Silva Suárez (IEEE Trans. Ind. Informatics, 2010)

Analysis and simulation of manufacturing systems using SimHPN toolbox. - Jorge Júlvez; Cristian Mahulea; Carlos Renato Vázquez (CASE, 2011)

On decentralized observability of discrete event systems. - Maria Paola Cabasino; Alessandro Giua; Cristian Mahulea; Carla Seatzu (CDC/ECC, 2011)

A probabilistic abstraction approach for planning and controlling mobile robots. - Marius Kloetzer; Cristian Mahulea; Octavian Pastravanu (ETFA, 2011)

On fluidization of discrete event models: observation and control of continuous Petri nets. - Manuel Silva Suárez; Jorge Júlvez; Cristian Mahulea; Carlos Renato Vázquez (Discret. Event Dyn. Syst., 2011)

Modular Petri net modeling of the Spanish health system. - Cristian Mahulea; Juan-Manuel Garcia-Soriano; José Manuel Colom (ETFA, 2012)

Online Petri net based algorithm for planning and controlling mobile robots. - Cristian Mahulea; Marius Kloetzer (ETFA, 2012)

LTL planning in dynamic environments. - Marius Kloetzer; Cristian Mahulea (WODES, 2012)

Control of continuous Petri nets using ON/OFF based method. - Liewei Wang; Cristian Mahulea; Jorge Júlvez; Manuel Silva Suárez (WODES, 2012)

Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. - Cristian Mahulea; Carla Seatzu; Maria Paola Cabasino; Manuel Silva Suárez (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Continuous Petri Nets: Controllability and Control. - Jorge Júlvez; Carlos Renato Vázquez; Cristian Mahulea; Manuel Silva 001 (Control of Discrete-Event Systems, 2013)

Continuous Petri Nets: Observability and Diagnosis. - Cristian Mahulea; Jorge Júlvez; Carlos Renato Vázquez; Manuel Silva 001 (Control of Discrete-Event Systems, 2013)

Introduction to Fluid Petri Nets. - Carlos Renato Vázquez; Cristian Mahulea; Jorge Júlvez; Manuel Silva 001 (Control of Discrete-Event Systems, 2013)

Distributed Model Predictive Control of timed continuous Petri nets. - Liewei Wang; Cristian Mahulea; Manuel Silva Suárez (CDC, 2013)

Petri net approach for deadlock prevention in robot planning. - Marius Kloetzer; Cristian Mahulea; José Manuel Colom (ETFA, 2013)

Decentralized diagnosis based on fault diagnosis graph. - Xu Wang 019; Cristian Mahulea; Manuel Silva Suárez (ETFA, 2013)

Minimum-time flow control of timed continuous Choice-Free nets. - Liewei Wang; Cristian Mahulea; Manuel Silva 001 (ECC, 2013)

Fault Diagnosis Graph of time Petri nets. - Xu Wang 019; Cristian Mahulea; Manuel Silva 001 (ECC, 2013)

Planning mobile robots with Boolean-based specifications. - Cristian Mahulea; Marius Kloetzer (CDC, 2014)

A model-based approach for the specification and verification of clinical guidelines. - Simona Bernardi 001; José Manuel Colom; Jorge Albareda; Cristian Mahulea (ETFA, 2014)

An assembly problem with mobile robots. - Marius Kloetzer; Cristian Mahulea (ETFA, 2014)

Deadlock prevention policy for S3PR - Application to robot planning. - Xu Wang 019; Cristian Mahulea; Manuel Silva Suárez (ETFA, 2014)

Model Checking on Fault Diagnosis Graph. - Xu Wang 019; Cristian Mahulea; Manuel Silva Suárez (WODES, 2014)

A Petri net based approach for multi-robot path planning. - Marius Kloetzer; Cristian Mahulea (Discret. Event Dyn. Syst., 2014)

A control method for distributed continuous mono-T-semiflow Petri nets. - Hanife Apaydin Özkan; Cristian Mahulea; Jorge Júlvez; Manuel Silva Suárez (Int. J. Control, 2014)

A Matlab-based interactive simulator for mobile robotics. - Ramon Gonzalez; Cristian Mahulea; Marius Kloetzer (CASE, 2015)

Accomplish multi-robot tasks via Petri net models. - Marius Kloetzer; Cristian Mahulea (CASE, 2015)

Collision avoidance of mobile robots by using initial time delays. - Xu Wang 019; Marius Kloetzer; Cristian Mahulea; Manuel Silva Suárez (CDC, 2015)

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph. - Xu Wang 019; Cristian Mahulea; Manuel Silva Suárez (IEEE Trans. Autom. Control., 2015)

LTL-Based Planning in Environments With Probabilistic Observations. - Marius Kloetzer; Cristian Mahulea (IEEE Trans Autom. Sci. Eng., 2015)

On liveness enforcement of DSSP net systems. - Daniel Clavel; Cristian Mahulea; Manuel Silva Suárez (CDC, 2016)

Operation planning of elective patients in an Orthopedic Surgery Department. - Daniel Clavel; Cristian Mahulea; Jorge Albareda; Manuel Silva Suárez (ETFA, 2016)

Multi-robot path planning for syntactically co-safe LTL specifications. - Marius Kloetzer; Cristian Mahulea (WODES, 2016)

Towards efficient algorithms for planning surgeries in operation rooms. - Daniel Clavel; Cristian Mahulea; Jorge Albareda; Manuel Silva Suárez (ETFA, 2017)

HEAT: A tool to develop, analyze and monitor clinical pathways. - Luis Parrilla 002; José García 001; Jorge Albareda; Cristian Mahulea (ICNSC, 2017)

Decentralized observability of discrete event systems with synchronizations. - Alessandro Giua; Cristian Mahulea; Carla Seatzu (Autom., 2017)

Performance Evaluation of the Dyna-Q algorithm for Robot Navigation. - Emanuele Vitolo; Alberto San Miguel; Javier Civera 001; Cristian Mahulea (CASE, 2018)

Path-planning in Discretized Environments with Optimized Waypoints Computation. - Emanuele Vitolo; Cristian Mahulea; Marius Kloetzer (ETFA, 2018)

Robot Planning Based on Boolean Specifications Using Petri Net Models. - Cristian Mahulea; Marius Kloetzer (IEEE Trans. Autom. Control., 2018)

Optimal Indoor Goods Delivery Using Drones. - Marius Kloetzer; Adrian Burlacu; Gabriel Enescu; Simona Caraiman; Cristian Mahulea (ETFA, 2019)

From Healthcare System Specifications to Formal Models. - Daniel Clavel; Cristian Mahulea; Manuel Silva 001 (SMC, 2019)

Toward a decision support system for the clinical pathways assessment. - Simona Bernardi 001; Cristian Mahulea; Jorge Albareda (Discret. Event Dyn. Syst., 2019)

Distributed Path Planning of Mobile Robots with LTL Specifications. - Ioana Hustiu; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2020)

Path planning for robotic teams based on LTL specifications and Petri net models. - Marius Kloetzer; Cristian Mahulea (Discret. Event Dyn. Syst., 2020)

Probabilistic Multi-Robot Path Planning with High-Level Specifications using Petri Net Models. - Eduardo Montijano; Cristian Mahulea (CASE, 2021)

Optimal task allocation for distributed co-safe LTL specifications. - Ioana Hustiu; Cristian Mahulea; Marius Kloetzer (ETFA, 2021)

Mission assignment and 3D path planning for a team of UAVs. - Sofia Hustiu; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2021)

Whitening of greenhouse's roof using drones and Petri net models*. - Sofia Hustiu; Marius Kloetzer; Alejandro López-Martínez; Cristian Mahulea (ETFA, 2022)

Distributing Co-safe LTL Specifications to Mobile Robots. - Ioana Hustiu; Cristian Mahulea; Marius Kloetzer (ICSTCC, 2022)

On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications. - Sofia Hustiu; Cristian Mahulea; Marius Kloetzer; Jean-Jacques Lesage (CoRR, 2022)

Modeling and performance analysis of an industrial transport platform manufacturing process. - César Arzola; Daniel Latorre; Germán Sacramento; Cristian Mahulea; Jorge Júlvez (ETFA, 2023)

Analysis and optimization of clinical pathways using timed continuous Petri nets. - César Arzola; Cristian Mahulea; Jorge Júlvez (ETFA, 2023)

Extension of a decomposition method for a global LTL specification. - Ioana Hustiu; Marius Kloetzer; Cristian Mahulea (ETFA, 2023)

Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets. - Sofia Hustiu; Dimos V. Dimarogonas; Cristian Mahulea; Marius Kloetzer (ECC, 2023)

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation. - Sofia Hustiu; Eva Robillard; Joaquin Ezpeleta; Cristian Mahulea; Marius Kloetzer (CoRR, 2023)

On Liveness Enforcement of Distributed Petri Net Systems. - Daniel Clavel; Cristian Mahulea; Manuel Silva 001 (IEEE Trans. Autom. Control., 2023)

An Optimal Sensor Placement Strategy for Continuous Petri Nets. - Cristian Mahulea (CASE, 2024)

Planning strategy based on visibility graph and traveling salesman problem with time window constraints. - Mihaela-Alexandra Barb-Ciorbea; Marius Kloetzer; Cristian Mahulea (ICSTCC, 2024)

On Multirobot Path Planning Based on Petri Net Models and LTL Specifications. - Sofia Hustiu; Cristian Mahulea; Marius Kloetzer; Jean-Jacques Lesage (IEEE Trans. Autom. Control., 2024)

Efficient Path Planning and Task Allocation Algorithm for Boolean Specifications. - Ioana Hustiu; Roozbeh Abolpour; Cristian Mahulea; Marius Kloetzer (CoRR, 2025)