You are about to access our book library "Lecture Notes in Control and Information Sciences, Volume 356: Dynamic Analysis of Petri Net-Based Discrete Systems full version" .