For the most recent entries see the Petri Nets Newsletter.

Suitability of Net-Based GRASPIN Tools for Electronic Payment Systems: Evaluation Report.

Grenier, Carole; Lebas, Philippe; Trèves, Nicolas

ESPRIT Project 125-GRASPIN; Technical Paper. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, September 1989.

Abstract: In order to prepare the industrial exploitation of GRASPIN project results, SLIGOS, as a first pilot user, explored and evaluated the suitability of the net-based tools for the specification and verification of non-sequential systems. The experiments conducted concerned protocol specification for message interchange in electronis payment applications. The conclusion of these experiments is that to fully exploit all the promising results of the GRASPIN project, a technology transfer appears necessary with improvements to the GRASPIN environment.

Keywords: electronic payment system; GRASPIN; SLIGOS; message interchange.

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

Back to the Petri Nets Bibliography