Publications
] Filters: First Letter Of Title is S [Clear All Filters]
[RP-82-02] .
1982. A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
[RP-89-01] .
1989. The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
[CS-DS-90] .
1990. Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
[CS-LNCS-92] .
1992. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
[1407] .
2012. Sliced Model Checking for Phylogenetic Analysis. 6th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2012).
[1467] .
2013. Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126. Abstract
[1333] .
2003. Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
[1482] .
2014. Structural deadlock prevention policies for Flexible Manufacturing Systems: A Petri net outlook. Formal Methods in Manufacturing. Abstract
[1334] .
2002. Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1338] .
1998. Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
[1433] .
2013. Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278. Abstract
[907] .
2000. Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
[1356] .
1992. Structure Theory of Non Free Choice Systems. Final Report of the ESPRIT Basis Research Action DEMON (Design Methods based on Nets) Covering the Period 18 June 1989 to 18 March 1992. :130-134.
[1558] .
2016. Sample Gathering Problem for Different Robots with Limited Capacity. ICSTCC'2016: 20th International Conference on System Theory, Control and Computing.
[CelayaAHPCC06] .
2006. Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
[1247] .
2006. Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
[1303] .
2010. Scalable Phylogenetics through Input Preprocessing.
[HiLuMaSDNCb] .
2003. Scaled dimension and non uniform complexity. 2719:278-290.
[HiLoMa04] .
2004. Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
[SDIS] .
2006. Scaled dimension of invidual strings.
[ICReTeSi96] .
1996. SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
[1283] .
2010. SimHPN: a MATLAB toolbox for continuous Petri nets. 10th International Workshop on Discrete Event Systems.
[RP-81-07] .
1981. A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[RP-85-10] .
1985. Sistema de programación y control de robots con visión artificial. :66-69.
[RP-80-03] .
1980. Sistema especializado en la simulación de redes de Petri sanas. :81-88.
