Publications
Filters: Author is M. Silva [Clear All Filters]
[ARSiRe02] Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
.
2002.
[ICSiVa89] Petri Nets and Flexible Manufacturing. :374-417.
.
1989.
[RP-90-11] Petri Nets and Flexible Manufacturing. 424:374-417.
.
1990.
.
1998.
[SC-Brussels-93] Performance Models Based on Petri Nets. :xiv-xxi.
.
1993.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
[276] Performance Evaluation of Repetitive Automated Manufacturing Systems. IEEE Rensselaer's Second International Conference on Computer Integrated Manufacturing. :74-81.
.
1990.
[SC-wodes98] Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
.
1998.
[1503] Performance evaluation and control of manufacturing systems: A continuous Petri nets view. Formal Methods in Manufacturing. :409-452.
.
2014.
[1225] Performance Control of Markovian Petri Nets via Fluid Models: A Stock-Level Control Example. IEEE Conference on Automation Science and Engineering.
.
2009.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[RP-86-10] Packages for validating discrete production systems modeled with Petri nets. :457-462.
.
1986.
[1344] Packages for validating discrete production systems modeled with Petri nets. Applied Modelling and Simulation of Technological Systems. :529-536.
.
1987.
[1345] 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.
.
1986.
[RP-82-06] A package for computer design of concurrent logic control systems. :221-226.
.
1982.
[RP-83-01] A package for computer design of concurrent logic control systems. :243-248.
.
1983.
[IPMaReSi05] Optimal Observability for Continuous Petri Nets. :CDROM.
.
2005.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.
.
2008.
[IPGiMaReSeSi06b] Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
.
2006.
[IPGiMaReSeSi06a] Optimal control of continuous Petri nets via model predictive control. :235–241.
.
2006.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[245] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Performance Evaluation of parallel and distributed systems. Solution Methods. :197-213.
.
1994.
[250] 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.
.
1993.