In this paper, two essential testing methods for firing sequooce of Petri nets are presented. The first testing method is to test whether the firing sequences in two subsystems can be shuffled into their composition system. The second method is for testing whether a given sequence belongs to a composition system, by testing whether the sequence belongs to the subsystems of the composition system. An example has been proposed using our new methodology, to demonstrate the advantages of this methodology.
Functions, testing synchronous composition nets, firing sequence.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).