In: Proceedings of the IEEE Computer Society's International Computer Software & Applications Conference, pages 474-479. New York: IEEE, 1987.
Abstract: An approach to design specification based on the Petri net model is presented. In order to verify distributed software systems, an innovative 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.