916
847
ACIT'2024 will be held in Zarqa University, December 10-12, 2024 -Zarqa, Jordan
847
Djamel Eddine Saïdouni, Messaouda Bouneb, and Nabil Belala
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.
Zarqa University P.O. Box 132010
+962-5-3821100 / ext 1451
This email address is being protected from spambots. You need JavaScript enabled to view it.