For the most recent entries see the Petri Nets Newsletter.

Construction of checking tests for complex discrete devices using hierarchical Petri nets.

Dolgopolii, A.V.

In: Automatic Control and Computer Sciences, Vol. 33, No. 1, pages 32-36. 1999.

Abstract: Procedures for modeling discrete devices in the language of hierarchical Petri nets are considered. A method of generating a checking test based on a maximum criterion for the number of faults that have not been checked by prior tests is proposed. The method is implemented by means of an algorithm that selects test sequences from a set of random input actions; the algorithm itself is represented in the form of base structures of the model.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography