For the most recent entries see the Petri Nets Newsletter.

A New Design Approach of Real/Time Distributed Software Systems.

Chang, C.K.; Aoyama, M.; Jiang, T.M.; Shi, W.; Chang, Y.F.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography