Manuel Silva

Herman Y. Sutarto

René K. Boel

Proceedings of the IEEE International Conference on Control Applications, 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

Piecewise-linear constrained control for timed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

New results for fault detection of untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Performance control of Markovian Petri nets via fluid models: A stock-level control example.

[BibT_eX]

[DOI]

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

Observer design for untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2009

Hybrid Approximations of Markovian Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

An Efficient Heuristics for Minimum Time Control of Continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Preface.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Fault diagnoser design for untimed continuous Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Control Applications, 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]

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]

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

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

Product-form and stochastic Petri nets: a structural approach.

[BibT_eX]

[DOI]

Perform. Evaluation, 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

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

[BibT_eX]

[DOI]

Annu. Rev. Control., 2004

Two heuristics for the improvement of a two-phase optimization method for manufacturing systems.

[BibT_eX]

[DOI]

Diego Rodriguez

Armin Zimmermann

Proceedings of the IEEE International Conference on Systems, 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]

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 two phase optimization method for Petri net models of manufacturing systems.

[BibT_eX]

[DOI]

Armin Zimmermann

Diego Rodriguez

J. Intell. Manuf., 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

Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.

[BibT_eX]

[DOI]

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

1999

Structured Solution of Asynchronously Communicating Stochastic Modules.

[BibT_eX]

[DOI]

Susanna Donatelli

IEEE Trans. Software Eng., 1999

Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing.

[BibT_eX]

[DOI]

Armin Zimmermann

Diego Rodriguez

Proceedings of the 5th European Control Conference, 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

Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.

[BibT_eX]

[DOI]

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

Petri Nets for the Design and Operation of Manufacturing Systems.

[BibT_eX]

[DOI]

Eur. J. Control, 1997

Throughput approximation of decision free processes using decomposition.

[BibT_eX]

[DOI]

Vassilis Mertsiotakis

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Structured solution of stochastic DSSP systems.

[BibT_eX]

[DOI]

Susanna Donatelli

Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996

Structure Theory of Equal Conflict Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

Petri Nets and Production Systems.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets II: Applications, 1996

Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995

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

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

CALIBAN - Esprit Basic Research WG 6067.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1994

Approximate Throughput Computation of Stochastic Marked Graphs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

Well-Formedness of Equal Conflict Systems.

[BibT_eX]

[DOI]

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

1993

Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems.

[BibT_eX]

[DOI]

Perform. Evaluation, 1993

Petri Nets applied to the modelling and analysis of computer architecture problems.

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1993

Operational analysis of timed Petri nets and application to the computation of performance bounds.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

A general iterative technique for approximate throughput computation of stochastic marked graphs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993

Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals.

[BibT_eX]

Proceedings of the Decentralized and Distributed Systems, 1993

On Optimal Scheduling in DEDS.

[BibT_eX]

[DOI]

Antonio Ramírez-Treviño

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

Liveness and Home States in Equal Conflict Systems.

[BibT_eX]

[DOI]

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

1992

A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Approximate Throughput Computation of Stohastic Marked Graphs.

[BibT_eX]

[DOI]

Hauke Jungnitz

Beatriz Sánchez

J. Parallel Distributed Comput., 1992

Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs.

[BibT_eX]

[DOI]

Hauke Jungnitz

Beatriz Sánchez

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

On Weighted T-Systems.

[BibT_eX]

[DOI]

Piotr Chrzastowski-Wachtel

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

Structural techniques and performance bounds of stochastic Petri net models.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.

[BibT_eX]

[DOI]

Giovanni Chiola

IEEE Trans. Software Eng., 1991

Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques.

[BibT_eX]

[DOI]

Beatriz Sánchez

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Compositional Synthesis of Live and Bounded Free Choice Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '91, 1991

A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets.

[BibT_eX]

[DOI]

Joaquin Ezpeleta

Jean-Michel Couvreur

Proceedings of the Advances in Petri Nets 1993, 1991

1990

Top-down synthesis of live and bounded free choice nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1991, 1990

1989

Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector.

[BibT_eX]

[DOI]

Giovanni Chiola

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

On the analysis and synthesis of free choice systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Circuits, handles, bridges and nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Improving the linearly based characterization of P/T nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

Petri nets and flexible manufacturing.

[BibT_eX]

[DOI]

Robert Valette

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Modeling, validation and software implementation of production systems using high level Petri nets.

[BibT_eX]

[DOI]

Javier Martinez

Pedro R. Muro-Medrano

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

On the Computation of Structural Synchronic Invariants in P/T Nets.

[BibT_eX]

[DOI]