In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 262-280. Berlin, Germany: Springer-Verlag, 1990.
Abstract: Industrial software development may be very expensive when no formal design method is used. Only the graphical representation of objects allows an efficient design process. Because of these reasons, the S-CORT method, which relies on net theory and the coherent graphical representation of different levels of nets, has been elaborated for the rapid development and reliable operations of distributed communication systems in the domain of electronic payment. This method is demonstrated using an example of payment authorisation.
Keywords: S-CORT; electronic payment system; payment authorisation; distributed communication system; software development.