Title	Implementation of Symbolic State Space Generator using Reduced Ordered Binary Decision Diagram based on SDES Description in PDETOOL Framework
Author	Reza Fathi, Mohammad Abdollahi Azgomi
Citation	Vol. 13  No. 7  pp. 79-86
Keywords	Symbolic state space generation; reduced ordered binary decision diagrams, state space explosion; SDES description; stochastic discrete event systems.

Title	Fault Diagnosis with Adaptive Control for Discrete Event Systems
Author	Yamen El Touati and Mohamed Ayari
Citation	Vol. 21  No. 11  pp. 165-170
Keywords	Diagnose, Discrete event systems, Control, Finite State Machines