A new modeling formalism and automata model generator for a class of discrete event systems.

Vigyun Chandra R. Kumar

Published in: ACC (2001)

Keyphrases

computational model
mathematical model
formal model
discrete event systems
conceptual model
probabilistic model
knowledge representation
cooperative
constraint satisfaction problems
mathematical models
modeling method