Manuel Silva

From MaRDI portal
Person:360644

Available identifiers

zbMath Open silva.manuel.1MaRDI QIDQ360644

List of research outcomes





PublicationDate of PublicationType
On Liveness Enforcement of Distributed Petri Net Systems2023-10-02Paper
Structural controllability in timed continuous Petri nets2023-07-05Paper
Dual perspectives of equilibrium throughput properties of continuous mono-T-semiflow Petri nets: firing rate and initial marking variations2022-01-03Paper
Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties2020-09-01Paper
{SC}*ECS: A class of modular and hierarchical cooperating systems2019-05-02Paper
Homothecy, bifurcations, continuity and monotonicity in timed continuous Petri nets under infinite server semantics2017-11-16Paper
Fluid approximation of Petri net models with relatively small populations2017-11-10Paper
Optimal Model Predictive Control of Timed Continuous Petri Nets2017-08-08Paper
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets2017-07-27Paper
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph2017-05-16Paper
A control method for distributed continuous mono-T-semiflow Petri nets2015-07-28Paper
Controllability of timed continuous Petri nets with uncontrollable transitions2015-07-28Paper
Hybrid and hybrid adaptive Petri nets: on the computation of a reachability graph2015-05-15Paper
Continuous Petri Nets: Observability and Diagnosis2015-01-29Paper
Continuous Petri Nets: Controllability and Control2015-01-29Paper
Introduction to Fluid Petri Nets2015-01-29Paper
On the fluidization of Petri nets and marking homothecy2014-07-25Paper
ON/OFF strategy based minimum-time control of continuous Petri nets2014-07-25Paper
Minimum-time decentralized control of choice-free continuous Petri nets2013-08-27Paper
On fluidization of discrete event models: Observation and control of continuous Petri nets2012-03-09Paper
Approaching minimum time control of timed continuous Petri nets2011-06-27Paper
Timing and liveness in continuous Petri nets2011-02-21Paper
Observability of continuous Petri nets with infinite server semantics2010-08-19Paper
Continuous Petri nets: expressive power and decidability issues2010-04-22Paper
On reachability in autonomous continuous Petri net systems2010-03-31Paper
Basic server semantics and performance monotonicity of continuous Petri nets2009-09-01Paper
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement2009-09-01Paper
On Controllability of Timed Continuous Petri Nets2008-09-02Paper
Tracking control of join-free timed continuous Petri net systems under infinite servers semantics2008-08-20Paper
On the Computational Power of Timed Differentiable Petri Nets2008-07-08Paper
Continuous Petri Nets: Expressive Power and Decidability Issues2008-07-03Paper
https://portal.mardi4nfdi.de/entity/Q34375492007-05-09Paper
Lectures on Concurrency and Petri Nets2005-12-23Paper
Applications and Theory of Petri Nets 20052005-12-14Paper
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets2005-05-12Paper
https://portal.mardi4nfdi.de/entity/Q46570522005-03-14Paper
https://portal.mardi4nfdi.de/entity/Q44363602003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q47820362002-11-27Paper
https://portal.mardi4nfdi.de/entity/Q45351772002-06-13Paper
Structure theory of multi-level deterministically synchronized sequential processes2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q42632992000-04-27Paper
https://portal.mardi4nfdi.de/entity/Q42472891999-12-05Paper
Petri nets for the design and operation of manufacturing systems1998-06-08Paper
Structure theory of equal conflict systems1997-02-28Paper
https://portal.mardi4nfdi.de/entity/Q48617391996-01-22Paper
https://portal.mardi4nfdi.de/entity/Q48617401996-01-22Paper
https://portal.mardi4nfdi.de/entity/Q47635701995-10-15Paper
https://portal.mardi4nfdi.de/entity/Q43214671995-06-12Paper
https://portal.mardi4nfdi.de/entity/Q47635731995-04-17Paper
https://portal.mardi4nfdi.de/entity/Q43214711995-01-23Paper
https://portal.mardi4nfdi.de/entity/Q43214691995-01-23Paper
Embedded product-form queueing networks and the improvement of performance bounds for Petri net systems1993-12-20Paper
Approximate throughput computation of stochastic marked graphs1993-01-17Paper
Properties and performance bounds for timed marked graphs1993-01-16Paper
Properties and performance bounds for closed free choice synchronized monoclass queueing networks1992-06-27Paper

Research outcomes over time

This page was built for person: Manuel Silva