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.
[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.
[1425] Special Issue: Computability in Europe 2010. Annals of Pure and Applied Logic. 163(6)
.
2012.
[IPMoHaSeSi01] Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
.
2001.
[1334] Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
.
2002.
[1338] Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
.
1998.
[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.