Computer-aided generation of programs modelling complex systems using colored petri nets
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Oct 26, 1993
Grant Date -
N/A
app pub date -
Apr 9, 1990
filing date -
Apr 9, 1990
priority date (Note) -
Expired
status (Latency Note)
Importance
Abstract
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.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully