Mateus de Oliveira Oliveira
PhD Student Department of
Theoretical Computer Science, KTH, 100 44 Stockholm Lindstedtsvägen 3, Plan 4, 10044 Stockholm email : mdeoliv AT kth.se
Hasse diagram Generators and Petri Nets
Mateus de Oliveira Oliveira
Journal version: Fundamenta Informaticae 105(3):263-289, 2010.
Conference version: Proc. of the 30th Int. Conf. on Applications and Theory of Petri Nets (Petri Nets 2009).