For the most recent entries see the Petri Nets Newsletter.

New Design Approach of Real-time Distributed Software Systems.

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

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.

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

Back to the Petri Nets Bibliography