In: Ajmone Marsan, M.: Lecture Notes in Computer Science, Vol. 691; Application and Theory of Petri Nets 1993, Proceedings 14th International Conference, Chicago, Illinois, USA, pages 206-223. Springer-Verlag, 1993.
Abstract: We present a Petri net based framework called G-Net for the modular design of complex information systems. The motivation of this framework is to integrate Petri net theory with a modular, object-oriented approach for the specification and prototyping of complex software systems. We use the client/server example to illustrate the G-Net specification of distributed systems, and how such a specification can be translated into a Predicate/Transition net for formal analysis. The difference between G-Net and hierarchical Petri net, as well as some limitations of the transformation technique, are then discussed.