In: Yeo, S.P.: Communication Systems: Towards Global Integration. Proceedings of the ICCS Confernce, 1990, Singapore; Vol. 1, pages 3.1/1-5. Amsterdam, Netherlands: Elsevier, 1990.
Abstract: Petri nets (PN) and communicating finite state machines (CFSM) are two models for the analysis of distributed computing systems. The author presents a projection method to reduce the analysis complexity by integrating these two analysis techniques. The overall strategy is to partition a system modeled by PN into a set of independent subsystems first. A CFSM is then derived from the partition. The subsystems retain the local control information of original systems while the CFSM describes the communications among subsystems.
Keywords: communicating finite state machine(s); distributed communication systems; projection method; net partitioning.