Manuel Silva

Orcid: 0000-0001-8631-8770

Affiliations:
  • University of Zaragoza, Spain


According to our database1, Manuel Silva authored at least 139 papers between 1987 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
On Liveness Enforcement of Distributed Petri Net Systems.
IEEE Trans. Autom. Control., June, 2023

Structural controllability in timed continuous Petri nets.
Autom., 2023

2022
Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: Firing rate and initial marking variations.
Autom., 2022

2020
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties.
Discret. Event Dyn. Syst., 2020

2019
From Healthcare System Specifications to Formal Models.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Some Interactions with Carl Adam Petri over Three Decades.
Proceedings of the Carl Adam Petri: Ideas, Personality, Impact, 2019

2018
On the history of Discrete Event Systems.
Annu. Rev. Control., 2018

Special section on the history of Discrete Event Systems.
Annu. Rev. Control., 2018

Petri nets and Automatic Control: A historical perspective.
Annu. Rev. Control., 2018

2017
Fluid approximation of Petri net models with relatively small populations.
Discret. Event Dyn. Syst., 2017

Towards efficient algorithms for planning surgeries in operation rooms.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

On the duality between firing rate and initial marking variations in TCPN.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Operation planning of elective patients in an Orthopedic Surgery Department.
Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

On liveness enforcement of DSSP net systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Stochastic Hybrid Approximations of Markovian Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2015

Diagnosis of Time Petri Nets Using Fault Diagnosis Graph.
IEEE Trans. Autom. Control., 2015

Special issue on recent advances in control of discrete event systems.
Discret. Event Dyn. Syst., 2015

Collision avoidance of mobile robots by using initial time delays.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Bifurcations in Timed Continuous Petri Nets.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Controllability of timed continuous Petri nets with uncontrollable transitions.
Int. J. Control, 2014

A control method for distributed continuous mono-T-semiflow Petri nets.
Int. J. Control, 2014

Model Checking on Fault Diagnosis Graph.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

The "bound Reaching Problem" on the Fluidization of Timed Petri Nets.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Deadlock prevention policy for S<sup>3</sup>PR - Application to robot planning.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Half a century after Carl Adam Petri's Ph.D. thesis: A perspective on the field.
Annu. Rev. Control., 2013

Fault Diagnosis Graph of time Petri nets.
Proceedings of the 12th European Control Conference, 2013

Minimum-time flow control of timed continuous Choice-Free nets.
Proceedings of the 12th European Control Conference, 2013

Decentralized diagnosis based on fault diagnosis graph.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Distributed Model Predictive Control of timed continuous Petri nets.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Introduction to Fluid Petri Nets.
Proceedings of the Control of Discrete-Event Systems, 2013

Continuous Petri Nets: Observability and Diagnosis.
Proceedings of the Control of Discrete-Event Systems, 2013

Continuous Petri Nets: Controllability and Control.
Proceedings of the Control of Discrete-Event Systems, 2013

2012
Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2012

Control of continuous Petri nets using ON/OFF based method.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

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

Marking homothetic monotonicity and fluidization of untimed Petri nets.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics.
Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011
On fluidization of discrete event models: observation and control of continuous Petri nets.
Discret. Event Dyn. Syst., 2011

Timing and liveness in continuous Petri nets.
Autom., 2011

2010
An Automated Framework for Formal Verification of Timed Continuous Petri Nets.
IEEE Trans. Ind. Informatics, 2010

Continuous Petri Nets: Expressive Power and Decidability Issues.
Int. J. Found. Comput. Sci., 2010

Timing-dependent boundedness and liveness in continuous Petri nets.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Fault diagnosis of manufacturing systems using continuous Petri nets.
Proceedings of the IEEE International Conference on Systems, 2010

Minimum-time control for structurally persistent continuous Petri Nets.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

An iterative control method for distributed continuous Petri nets.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A control method for timed distributed continuous Petri nets.
Proceedings of the American Control Conference, 2010

On the Importance of the Deadlock Trap Property for Monotonic Liveness.
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010

Hybrid Petri Net Model of a Traffic Intersection in an Urban Network.
Proceedings of the IEEE International Conference on Control Applications, 2010

2009
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets.
Discret. Event Dyn. Syst., 2009

Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.
Discret. Event Dyn. Syst., 2009

Piecewise-linear constrained control for timed continuous Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

New results for fault detection of untimed continuous Petri nets.
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.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Observer design for untimed continuous Petri nets.
Proceedings of the American Control Conference, 2009

Hybrid Approximations of Markovian Petri Nets.
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.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

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

Fault diagnoser design for untimed continuous Petri nets.
Proceedings of the IEEE International Conference on Control Applications, 2009

2008
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng., 2008

On Observability and Design of Observers inTimed Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng., 2008

Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control., 2008

Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.
Discret. Event Dyn. Syst., 2008

On Controllability of Timed Continuous Petri Nets.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Stochastic continuous-state approximation of Markovian Petri net systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Formal analysis of timed continuous Petri nets.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
State Estimation of Petri Nets by Transformation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets.
IEEE Trans. Autom. Control., 2006

Optimal Control of Timed Continuous Petri Nets via Explicit MPC.
Proceedings of the Positive Systems, 2006

On the Computational Power of Timed Differentiable Petri Nets.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

Improving analysis and simulation of continuous Petri Nets.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Tracking control of Join-Free Timed continuous Petri Net Systems.
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.
Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005
Product-form and stochastic Petri nets: a structural approach.
Perform. Evaluation, 2005

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

On Controllability of Timed Continuous Petri Net Systems: the Join Free Case.
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.
Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004
On fluidification of Petri Nets: from discrete to hybrid and continuous models.
Annu. Rev. Control., 2004

Two heuristics for the improvement of a two-phase optimization method for manufacturing systems.
Proceedings of the IEEE International Conference on Systems, 2004

Design of observers for timed continuous Petri net systems.
Proceedings of the IEEE International Conference on Systems, 2004

Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

On Observability in Timed Continuous Petri Net Systems.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Event-driven optimal control of continuous Petri nets.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2003
Unforced Continuous Petri Nets and Positive Systems.
Proceedings of the Positive Systems, 2003

On Reachability in Autonomous Continuous Petri Net Systems.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Petri nets and integrality relaxations: A view of continuous Petri net models.
IEEE Trans. Syst. Man Cybern. Part C, 2002

On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Structure theory of multi-level deterministically synchronized sequential processes.
Theor. Comput. Sci., 2001

A two phase optimization method for Petri net models of manufacturing systems.
J. Intell. Manuf., 2001

A Comparison of the Expressiveness of SPA and Bounded SPN Models.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

Forrester diagrams and continuous Petri nets: a comparative view.
Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

1999
Structured Solution of Asynchronously Communicating Stochastic Modules.
IEEE Trans. Software Eng., 1999

Modelling and optimisation of manufacturing systems: Petri nets and simulated annealing.
Proceedings of the 5th European Control Conference, 1999

Autonomous Continuous P/T Systems.
Proceedings of the Application and Theory of Petri Nets 1999, 1999

1998
Modeling and analysis of sequential processes that cooperate through buffers.
IEEE Trans. Robotics Autom., 1998

On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.
J. Circuits Syst. Comput., 1998

Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules.
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.
IEEE Trans. Syst. Man Cybern. Part A, 1997

Petri Nets for the Design and Operation of Manufacturing Systems.
Eur. J. Control, 1997

Throughput approximation of decision free processes using decomposition.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

Structured solution of stochastic DSSP systems.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997

1996
Structure Theory of Equal Conflict Systems.
Theor. Comput. Sci., 1996

{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.
Proceedings of the Application and Theory of Petri Nets 1996, 1996

Petri Nets and Production Systems.
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.
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996

1995
On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes.
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

CALIBAN - Esprit Basic Research WG 6067.
Proceedings of the International Workshop on Structures in Concurrency Theory, 1995

1994
Approximate Throughput Computation of Stochastic Marked Graphs.
IEEE Trans. Software Eng., 1994

Well-Formedness of Equal Conflict Systems.
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.
Perform. Evaluation, 1993

Petri Nets applied to the modelling and analysis of computer architecture problems.
Microprocess. Microprogramming, 1993

Operational analysis of timed Petri nets and application to the computation of performance bounds.
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.
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.
Proceedings of the Decentralized and Distributed Systems, 1993

On Optimal Scheduling in DEDS.
Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

Liveness and Home States in Equal Conflict Systems.
Proceedings of the Application and Theory of Petri Nets 1993, 1993

1992
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets.
Theor. Comput. Sci., 1992

Approximate Throughput Computation of Stohastic Marked Graphs.
J. Parallel Distributed Comput., 1992

Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs.
Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

On Weighted T-Systems.
Proceedings of the Application and Theory of Petri Nets 1992, 1992

Structural techniques and performance bounds of stochastic Petri net models.
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.
IEEE Trans. Software Eng., 1991

Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques.
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.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

Compositional Synthesis of Live and Bounded Free Choice Petri Nets.
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.
Proceedings of the Advances in Petri Nets 1993, 1991

1990
Top-down synthesis of live and bounded free choice nets.
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.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989

On the analysis and synthesis of free choice systems.
Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

Circuits, handles, bridges and nets.
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.
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.
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.
Proceedings of the Advances in Petri Nets 1989, 1988

1987
Modeling, validation and software implementation of production systems using high level Petri nets.
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.
Proceedings of the Advances in Petri Nets 1988, 1987


  Loading...