The concept of languages similarity of Petri nets is introduced. It is determined, that mapping of languages similarity of Petri nets is a surjective homomorphism. The similarity of languages of component Petri net and original detailed Petri model of the investigated parallel distributed system is considered. The work reveals that the language of the original detailed Petri net model can always be restored using the language of its component model.
Copyright © 2002-2018, Таврический Вестник Информатики и Математики