Publications
] Filters: Author is M. Silva [Clear All Filters]
[1335] .
2002. Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[IPReJuSi02] .
2002. Steady State Performance evaluation for some continuous Petri nets. :N479.
[IPJuReSi02] .
2002. On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
[ARSiRe02] .
2002. Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
[IPHRRS01] .
2001. A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
[ZRS-EKA2001] .
2001. Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
[ARReTeSi01] .
2001. Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
[ZRS-JIM-01] .
2001. A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
[IPMoHaSeSi01] .
2001. Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[ARReSi00] .
2001. Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
[ZRS-Wod00] .
2000. A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[ZRS-ECC99] .
1999. Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
[CDS-TSE-99] .
1999. Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
[1342] .
1999. Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
[C-MATCH17-98] .
1998. Performance Bounds. :587-635.
[C-MATCH23-98] .
1998. Response Time Approximation for Stochastic Marked Graphs. :797-817.
[C-MATCH8-98] .
1998. Performance Measures and Basic Properties. :285-304.
[SC-MATCH20-98] .
1998. Introduction to Net Driven Decomposition Techniques. :693-718.
[SC-wodes98] .
1998. Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques. :398-413.
[1083] .
1998. A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. Application and Theory of Petri Nets 1998. :64-83.
[SiTe-SMC98] .
1998. DEDS Along Their Life-Cycle: Interpreted Extensions of Petri Nets. IEEE International Conference on Systems, Man and Cybernetics.
[1338] .
1998. Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
