( 8 of 8 ) |
United States Patent | 5,257,363 |
Shapiro , et al. | October 26, 1993 |
A method and system in which a programmed digital computer serving as a graphical "engine" is employed to construct an executable model for a complex system using a hierarchy of so called "Colored" Petri nets (CPN's or CP-nets). The operation of the complex system is specified in terms of a graphical net structure and formal net inscriptions, such as arc expressions and guards, which ensure development of a program, or executable model, and associated data structures, properly defining the system. Sophisticated syntax checks and other tools are provided for ensuring that the model so constructed conforms to a set of rules which guarantee valid system behavior.
Inventors: | Shapiro; Robert M. (Cambridge, MA), Malhotra; Jawahar (Waltham, MA), Jensen; Kurt (Hojbjerg, DK), Christensen; Soren (Arhus, DK), Huber; Peter (Cambridge, MA) |
Assignee: |
Meta Software Corporation
(Cambridge,
MA)
|
Appl. No.: | 07/507,119 |
Filed: | April 9, 1990 |
Current U.S. Class: | 703/13 ; 700/83; 700/86 |
Current International Class: | G06F 17/50 (20060101); G06F 015/20 () |
Field of Search: | 395/500,800,100,120,140 364/188,191 |
4455619 | June 1984 | Masui et al. |
4677587 | June 1987 | Zemany, Jr. |
4710863 | December 1987 | Kaufmann et al. |
4736320 | April 1988 | Bristol |
4827404 | May 1989 | Barstow et al. |
4831580 | May 1989 | Yamada |
4866605 | September 1989 | Nakano et al. |
4866663 | September 1989 | Griffin |
4972334 | November 1990 | Yamabe et al. |
5029080 | July 1991 | Otsuki |
5127104 | June 1992 | Dennis |
5187788 | February 1993 | Marmelstein |
0160944 | Nov., 1985 | EP | |||
Jensen, Kurt, "Coloured Petri Nets; A Way to Describe and Analyse Real-World Systems without Drowning in Unnecessary Details", Conf. on Sys. Engineering, Sep. 9-11, 1987. . Kyratzoglou, I. M., "Computer Aided Petri Net Design for decision-making organizations", Proceedings of the 1988 Winter Simulation Conference. . Moreno, C. Sanchez, "Galileo: Model, Language, and Tools", Electrical Communication, 1986, Nos. 3-4, Harlow, Essex, Great Britain.. |