Piotr Miczulski

ANALYSIS OF SAFENESS, LIVENESS AND PERSISTENCE PROPERTIES OF PETRI NETS BY MEANS OF MONOTONE LOGIC FUNCTIONS

Piotr Miczulski, Marian Adamski, M. Adamski, 2006 .

Calculating State Spaces of Hierarchical Petri Nets Using BDD

Piotr Miczulski, P. Miczulski, 2005 .