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
Introduction to Fluid Petri Nets2015-01-29Paper
Continuous Petri Nets: Observability and Diagnosis2015-01-29Paper
Continuous Petri Nets: Controllability and Control2015-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
Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement2009-09-01Paper
Basic server semantics and performance monotonicity of continuous Petri nets2009-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/Q43214691995-01-23Paper
https://portal.mardi4nfdi.de/entity/Q43214711995-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


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Manuel Silva