Asynchronous systems have been shown to exhibit a number of inherent advantages that are attractive for modern technologies.
The project was aimed at developing theory and methods for automated asynchronous design. This is a ``hot topic'' for asynchronous community. The new results were obtained both in verification and synthesis fields. In verification the existing methods of analysis by Petri Net unfoldings were improved by suggesting the new criteria that reduces the size of an unfolding significantly. In synthesis the result was twofold: 1)for the first time it was suggested the method of a hazard-free implementation that works completely on an event-based level (without a construction of a state space) 2) based on the region approach the new method for a Complete State Coding problem was developed (this method is superior among existing ones).
Theoretical results of the project were implemented by developing the two software systems ``Unfolding'' and ``Petrify'' that are public available.