Hasse Diagram Generators and Petri Nets
Mateus de Oliveira Oliveira · Fundamenta Informaticae · 2010
In [18] Lorenz and Juhás raised the question of whether there exists a suitable formalism for the representation of infinite families of partial orders generated by Petri nets. Restricting ourselves to bounded p/t-nets, we propose Hasse diagram gener