Publications
Filters: Author is M. Silva [Clear All Filters]
.
1999.
[ZRS-Wod00] A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
.
2000.
.
2001.
[ZRS-JIM-01] A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
.
2001.
.
2004.
[1502] ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
.
2014.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[1493] Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
.
2013.
[1494] Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
.
2011.
[1498] Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
.
2013.
[ICTeSi93] Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
.
1993.
[199] Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
.
1993.
[200] Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
.
1993.
[IPSiTe96b] A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
.
1996.
[IPSiTe96] Petri Nets for the Design and Operation of Manufacturing Systems. :330-343.
.
1996.
[ARTeSi96] Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
.
1996.
[204] Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. 27(1):73-83.
.
1997.
[ICSiTeVaPi98] Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
.
1998.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[SC-MATCH20-98] Introduction to Net Driven Decomposition Techniques. :693-718.
.
1998.
.
1998.
[CDS-StMalo-97] Structured Solution of Stochastic DSSP Systems. :91-100.
.
1997.
[238] Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. Quantitative Methods in Parallel Systems. :161-174.
.
1995.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
[SC-Erlangen-95] Structural Performance Analysis of Stochastic Petri Nets. :61-70.
.
1995.