The Design Methodology of Distributed Computer Systems

摘要

Performance evaluation techniques for asynchronous concurrent systems is developed using the Petri net approach. Analysis techniques for deadlocks in asynchronous concurrent systems is also explored. Moreover, a need for adaptive reconfiguration techniques is established along with necessary and sufficient conditions for reconfigurability. Then a method is described for evaluating the available reconfiguration strategies based on a figure of merit is described.