Laura Recalde

Serge Haddad

Int. J. Found. Comput. Sci., 2010

2009

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets.

[BibT_eX]

[DOI]

Cristian Mahulea

Discret. Event Dyn. Syst., 2009

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2009

Observer design for untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

2008

Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.

[BibT_eX]

[DOI]

Cristian Mahulea

Antonio Ramírez-Treviño

IEEE Trans Autom. Sci. Eng., 2008

On Observability and Design of Observers inTimed Continuous Petri Net Systems.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2008

Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.

[BibT_eX]

[DOI]

Jing Xu

Discret. Event Dyn. Syst., 2008

On Controllability of Timed Continuous Petri Nets.

[BibT_eX]

[DOI]

Carlos Renato Vázquez

Antonio Ramírez-Treviño

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Stochastic continuous-state approximation of Markovian Petri net systems.

[BibT_eX]

[DOI]

Carlos Renato Vázquez

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Formal analysis of timed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

State Estimation of Petri Nets by Transformation.

[BibT_eX]

[DOI]

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

2006

Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2006

Optimal Control of Timed Continuous Petri Nets via Explicit MPC.

[BibT_eX]

[DOI]

Proceedings of the Positive Systems, 2006

On the Computational Power of Timed Differentiable Petri Nets.

[BibT_eX]

[DOI]

Serge Haddad

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Improving analysis and simulation of continuous Petri Nets.

[BibT_eX]

[DOI]

Cristian Mahulea

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Tracking control of Join-Free Timed continuous Petri Net Systems.

[BibT_eX]

[DOI]

Jing Xu

Manuel Silva

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Steady-state performance evaluation of continuous mono-T-semiflow Petri nets.

[BibT_eX]

[DOI]

Autom., 2005

On Controllability of Timed Continuous Petri Net Systems: the Join Free Case.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

A deadlock avoidance approach for nonsequential resource allocation systems.

[BibT_eX]

[DOI]

Joaquin Ezpeleta

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

On fluidification of Petri Nets: from discrete to hybrid and continuous models.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2004

Design of observers for timed continuous Petri net systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

On Observability in Timed Continuous Petri Net Systems.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Event-driven optimal control of continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003

Unforced Continuous Petri Nets and Positive Systems.

[BibT_eX]

[DOI]

Proceedings of the Positive Systems, 2003

On Reachability in Autonomous Continuous Petri Net Systems.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Petri Nets and Manufacturing Systems: An Examples-Driven Tour.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002

Petri nets and integrality relaxations: A view of continuous Petri net models.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2002

On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets.

[BibT_eX]

[DOI]

Manuel Silva

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

2001

Structure theory of multi-level deterministically synchronized sequential processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

A Comparison of the Expressiveness of SPA and Bounded SPN Models.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Forrester diagrams and continuous Petri nets: a comparative view.

[BibT_eX]

[DOI]

Emilio Jiménez

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

1999

Autonomous Continuous P/T Systems.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998

Modeling and analysis of sequential processes that cooperate through buffers.

[BibT_eX]

[DOI]

IEEE Trans. Robotics Autom., 1998

On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.

[BibT_eX]

[DOI]

J. Circuits Syst. Comput., 1998

1996

{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets 1996, 1996

1995

On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.

[BibT_eX]

[DOI]