Process algebra with autonomous actions / by M. Voorhoeve and T. BastenStructural Petri net equivalence / by M. VoorhoeveConservative adaption of workflow / by M. Voorhoeve and W. van der AalstState/event net equivalence / by M. VoorhoeveImpossible futures and determinism / by M. Voorhoeve and S. MauwOn the diophantine equation 1k =+ 2k +...+xk+R(x)=yz / M. Voorhoeve, K. Göry & R. TijdemanZeros of exponential polynomials / Marc Voorhoeve
author
Z and high level Petri nets / by K.M. van Hee, L.J. Somers, M. VoorhoeveSimulating and analyzing railway interlockings in ExSpect / by T. Basten, R. Bol and M. VoorhoeveAn algebraic semantics for hierarchical P/T nets / by T. Basten and M. VoorhoeveOperational semantics for Petri Net components / by Jan Friso Groote and Marc VoorhoeveConvex approximation of integrals / J. van de Lune & M. VoorhoeveOn the values of a function related to Euler's gamma function / J. van de Lune & M. Voorhoeve