Publications
Filters: Author is M. Silva [Clear All Filters]
[RP-82-01] Realización cableada de redes de Petri binarias. 6:151-155.
.
1982.
[RP-92-26] Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
.
1992.
[RP-80-01] Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
.
1980.
[RP-82-03] Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
.
1982.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
.
2008.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
.
2005.
[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.
[ARTeSi96] Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
.
1996.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
.
2001.
[CDS-TSE-99] Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
.
1999.
[RP-81-01] Sur le concept de macroplace et son utilisation pour lanalyse des réseaux de Petri. RAIRO- Automatique. 15:57-67.
.
1981.
[RP-81-02] A survey of Petri net related teaching and research in Spain. Newsletter on Petri Nets and Related Systems Models. :5-13.
.
1981.
[RP-79-01] Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
.
1979.
[1316] Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
.
2011.
[RP-85-09] Tolerancia a fallos en aplicaciones tiempo real. :111-124.
.
1985.
[ZRS-JIM-01] A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
.
2001.
[PJCS-RR69-2005] Approximate Throughput Computation of Stochastic Weighted T-Systems.
.
2005.
.
2009.
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.
.
2008.