An Algebraic Formulation of K-step Opacity Problem in Labeled Petri Net Models.

Amira Chouchane, Mohamed Ghazel

Browse the full CoDIT paper archive.