For the most recent entries see the Petri Nets Newsletter.

The Suitability of Net-Based GRASPIN Tools for Monetics Applications.

Hildebrand, T.; Nieters, H.; Trèves, N.

In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 139-160. 1990.

Abstract: In order to prepare the industrial exploitation of the GRASPIN project results, SLIGOS, as a first pilot user, explored and evaluated the feasibility of the net-based tools for the specification and verification of non-sequential systems. A protocol specification for message interchange has been used for the evaluation of the GRASPIN environment and for the definition of the complementary work necessary to integrate the tools in an industrial environment.

Keywords: GRASPIN net tool; monetic application.

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

Back to the Petri Nets Bibliography