Publications

List
Filter

Export 32 results:

Filters: First Letter Of Last Name is H [Clear All Filters]

A B C D E F G [H] I J K L M N O P Q R S T U V W X Y Z [Show ALL]

[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J. 2005. Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.

Google Scholar

[1334] Colom, JM, Teruel E, Silva M, Haddad S. 2002. Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.

Google Scholar

[1338] Colom, JM, Haddad S, Silva M, Teruel E. 1998. Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.

Google Scholar

[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M. 2001. Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.

silva.pdf

Google Scholar

[1425] Mayordomo, E, Ferreira F, Hyland M, L\"owe B. 2012. Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)

Google Scholar

[915] Tricas, F, Colom JM, Ezpeleta J. 1999. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. 11th European Simulation Symposium (ESS’99). Simulation in Industry. :542-546.

Google Scholar

[RP-81-07] Martínez, J, Silva M. 1981. A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.

Google Scholar

[HiLoMa04] Hitchcock, JM, López-Valdés M, Mayordomo E. 2004. Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.

Google Scholar

[sdkcthsR] Hitchcock, JM, López-Valdés M, Mayordomo E. 2008. Scaled Dimension and the Kolmogorov Complexity of Turing-Hard Sets. Theory of Computing Systems. 43:471-497.

Google Scholar

[HiLuMaSDNC] Hitchcock, JM, Lutz JH, Mayordomo E. 2004. Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.

sdnc.ps

Google Scholar

[HiLuMaSDNCb] Hitchcock, JM, Lutz JH, Mayordomo E. 2003. Scaled dimension and non uniform complexity. 2719:278-290.

Google Scholar

[RP-84-03] Pardos, P, Silva M. 1984. A robot programming and control system. :92-97.

Google Scholar

[ARMoHaSeSi05] Moreaux, P, Haddad S, Sereno M, Silva M. 2005. Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.

science.pdf

Google Scholar

[1324] [Anonymous]. 2007. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’07).

Google Scholar

[ICSilv93b] Vernadat, F, Dicesare F, Harhalakis G, Proth JM, Silva M. 1993. Practice of Petri-nets in manufacturing.

Google Scholar

[1406] Holanda, HJA, Merseguer J, Cordeiro G, Serra AB. 2010. Performance Evaluation of Web Services Orchestrated with WS-BPEL4People. International Journal of Computer Networks & Communications. 2(6):18.

J4.pdf

Google Scholar

[1284] Heiner, M, Mahulea C, Silva M. 2010. On the Importance of the Deadlock Trap Property for Monotonic Liveness. Int. Workshop on Biological Processes & Petri Nets (BioPPN), A satellite event of Petri Nets 2010.

Google Scholar

[IPHaReSi06] Haddad, S, Recalde L, Silva M. 2006. On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.

TRHaReSi06.pdf

Google Scholar

[HerMay94] Hermo, M, Mayordomo E. 1994. A note on polynomial size circuits with low resource bounded Kolmogorov complexity. Mathematical Systems Theory. 27:247-356.

94_HM_MST.ps

Google Scholar

[RP-89-13] Villarroel, JL, Martínez J, Muro P, Silva M, Smith SF. 1989. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.

Google Scholar

[1339] Colom, JM, Haddad S. 1998. Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.