Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration

Loading...
Thumbnail Image
Date
2008
Authors
Glybovets, Mykola
Hlomozda, Dmytro
Journal Title
Journal ISSN
Volume Title
Publisher
Springer New York
Abstract
The problem of verifying the coordination mechanism in a system of software support of network collaboration is considered. This problem is demonstrated to be similar to the agent verification problem. It is proved that the problem of verifying the coordination mechanism is co-complete.
Description
Keywords
coordination, Petri net, computational complexity, program agent
Citation
Glibovets N. Complexity of the problem of verifying the coordination mechanism in a system of software support of network collaboration / N. N. Glibovets, D. K.Hlomozda // Cybernetics and Systems Analysis. - 2008. - Vol. 44, Nr. 4. - S. 477-481.