In this paper we introduce linguistic concepts to relate Petri net models with the control theory for Discrete Event Systems. Petri net structures can be considered as language generators and we consider different languages associated with them. An important operator, synchronization, is introduced and its counterpart on a Petri net structure is studied. Finally, we introduce the concept of easiness, and study how this property is preserved by synchronization. A net is easy when the solution of the state equation gives a sufficient condition for teachability. The main results of the paper are that although easiness is not preserved in general by synchronization, we can define classes of synchronization that are easiness invariant.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.