On conflict resolution in Petri nets models through model structuring and composition

This paper addresses the problem of automatic conflict resolution in Petri net models. Several types of conflict arbiters are proposed, relying on modification of original model, through net model composition complemented by model structuring (hierarchical structuring and node vectors). Proposed arbiters can be systematically used for automatic conflict resolution, in conjunction with dedicated computer tools. Several modeling situations are analyzed, including free-choice nets, mutual exclusion situations, and general case, as well.