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.