Using maximality-based labelled transition system as a model for petri nets

Djamel-Eddine Saidouni, Nabil Belala, Messaouda Bouneb. Using maximality-based labelled transition system as a model for petri nets. Int. Arab J. Inf. Technol., 6(5):440-446, 2009. [doi]

Abstract

Abstract is missing.