Publications
Filters: First Letter Of Last Name is H [Clear All Filters]
[RP-81-07] A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
.
1981.
[RP-84-03] A robot programming and control system. :92-97.
.
1984.
.
1989.
[BaHeMa92] Characterizations of logarithmic advice complexity classes. :315-321.
.
1992.
[RP-93-38] A distributed algorithm for resource management. :61-72.
.
1993.
[ICSilv93b] Practice of Petri-nets in manufacturing.
.
1993.
[RP-93-21] A distributed algorithm for ressource management. :15-26.
.
1993.
[HerMay94] A note on polynomial size circuits with low resource bounded Kolmogorov complexity. Mathematical Systems Theory. 27:247-356.
.
1994.
[1338] Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
.
1998.
[1339] Introduction to Verification. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :171-190.
.
1998.
[915] 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.
.
1999.
[IPMoHaSeSi01] Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
.
2001.
[IPHRRS01] A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
.
2001.
[1334] Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
.
2002.
[HiLuMaSDNCb] Scaled dimension and non uniform complexity. 2719:278-290.
.
2003.
[HiLuMaSDNC] Scaled dimension and non uniform complexity. Journal of Computer and System Sciences. 69:97-122.
.
2004.
[ESDAICC] Effective Strong Dimension in Algorithmic Information and Computational Complexity. 2996:632-643.
.
2004.
[HiLoMa04] Scaled dimension and the Kolmogorov complexity of Turing-hard sets. 3153:476-487.
.
2004.
[ARMoHaSeSi05] Product-form and stochastic Petri nets: a structural approach. Performance Evaluation. 59:313-336.
.
2005.
[HiLuMa05] The fractal geometry of complexity classes. SIGACT News. 36:24-38.
.
2005.
[1337] 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.
.
2005.
[IPHaReSi06] On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
.
2006.
[IPReHaSi07] Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
.
2007.
[AtHiLuMa06] Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
.
2007. .
2007.