On-The-Fly Generation Algorithm of -Reduced Maximality-Based Labeled Transition Systems for Petri Nets

Djamel Eddine Saïdouni, Messaouda Bouneb, and Nabil Belala

MISC Laboratory, Computer Science Dept., University of Mentouri, 25000 Constantine, Algeria

Abstract
This work deals with state space combinatorial explosion problem induced by the generation of maximality-based labeled transition systems for Petri nets. We introduce an on-the-fly reduction method preserving the -equivalence relation. In order to show the interest of this work, we compare results with previous reduction approaches for generating maximality-based labeled transition systems.

Keywords: Maximality semantics, Maximality-based labeled transition systems, -equivalence, Petri nets.