Publications
] Filters: Author is M. Silva [Clear All Filters]
[RP-86-11] .
1986. On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
[1442] .
2011. On State Estimation of Timed Choice-Free Petri Nets. 18th IFAC World Congress.
[RP-87-07] .
1987. On synchonic distance and B-fair relations for Petri nets. :270-278.
[RP-90-07] .
1990. On the analysis and synthesis of free choice nets.
[IPHaReSi06] .
2006. On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
[1284] .
2010. On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.
[995] .
1987. On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
[1347] .
1987. On the structural computation of synchronic invariants in P/T nets. I Jornadas de Concurrencia.
[1363] .
1993. On Weighted T-Systems. III Jornadas de Concurrencia. :293-312.
[1541] .
2016. Operation Planning of Elective Patients in an Orthopedic Surgery Department. 2nd International Workshop on Models and Methods for healthcare systems management and planning (M2H) in ETFA 2016. Abstract
[251] .
1993. Operational Analysis of Timed Petri Nets. 16th International Symposium on Computer Performance Modelling, Measurement and Evaluation (Performance'93).
[250] .
1993. Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :128-137.
[IPGiMaReSeSi06a] .
2006. Optimal control of continuous Petri nets via model predictive control. :235–241.
[IPGiMaReSeSi06b] .
2006. Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[IPMaReSi05] .
2005. Optimal Observability for Continuous Petri Nets. :CDROM.
[RP-82-06] .
1982. A package for computer design of concurrent logic control systems. :221-226.
[RP-86-10] .
1986. Packages for validating discrete production systems modeled with Petri nets. :457-462.
[1345] .
1986. Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
[1225] .
2009. Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
[SC-wodes98] .
1998. Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
[276] .
1990. Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
[SC-Brussels-93] .
1993. Performance Models Based on Petri Nets. :xiv-xxi.
[IPSiTe96] .
1996. Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
[RP-92-05] .
1992. Petri nets in a knowledge representation schema for the coordination of plant elements. :271-276.
[1227] .
2009. Piecewise-Linear Constrained Control for Timed Continuous Petri Nets. IEEE Conference on Decision and Control.
