In: Proc. of COMPSAC 87, pages 474-479. Washington: IEEE Computer Society Press, 1987.
Abstract: An approach to design specification based on the Petri net model is presented. In order to verify distributed software systems, a system partitioning method is presented that is based on this specification technique. This method can partition a system represented by Petri nets into independent subsystems maintaining the communication behavior integrity.