In: Dr. Dobbs Journal, Vol. 16, No. 9, pages 76-81. September 1991.
Abstract: The compact ML functional programming language, specifically as implemented in the Design/CPN (colored Petri net) design tool, is used to develop a comparative colored Petri net simulation that verifies the results of an analytical model of single- and dual-processor computer hardware configurations. Design/CPN is used to develop colored Petri net models in which the colors represent different types of data that a system component can hold. The underlying ML is a strongly typed, interactive, interpreted, LISP-like programming language that can easily model a multiprocessor computer system.
Keywords: coloured net; ML, meta language functional programming language; Design, net tool; LISP-like strongly typed language; multiprocessing.