For the most recent entries see the Petri Nets Newsletter.

Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.

Deng, Y.; Chang, S.K.; de Figueiredo, J.C.A.; Perkusich, A.

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.

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

Back to the Petri Nets Bibliography