In: Proceedings of Donetsk State Technical University, series "Informatics, Cybernetics and Computer Science", Vol. 93, 2005, pages 60-70. 2005. In Russian.
Abstract: Software for decomposition of bipartite directed graphs (Petri nets) into functional subnets was represented. Decomposition is aimed to speed-up of large-scale Petri net models analysis. Basic operations of decomposition algorithm were defined, the optimization of data structures for effective implementation of basic operations was executed, detailed algorithm of decomposition was represented. Variants of decomposition software module integration into automated systems of Petri net models analysis and synthesis were studied. Results of decomposition a host of nets allow the conclusion about good enough partibility of real-life objects' models.
Keywords: bipartite digraph; Petri net; decomposition; functional subnet.