T Maximality - based Step Graph for Safety - Petri Nets

Abstract

This paper proposes for safety-petri nets an algorithm for reducing on the fly a Maximality-based Labeled Transition Systems via partial order technique, in which made possible the consideration of the branches, therefore the reduction is important. The reduction graph (Maximality-based Step Graph) is a complete graph preserving the general properties… (More)

Topics

15 Figures and Tables

Slides referencing similar topics