On an approach to automatic synthesis of parallel simulating programs. (Russian. English summary) Zbl 0591.68033
Summary: An apparatus has been developed for automatic synthesis of parallel programs simulating computer hardware at the stage of its structural design. The apparatus is based on models belonging to the class of marked bipartite networks of the Petri network type.
MSC:
| 68N25 | Theory of operating systems |
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
