Petri-Nets have been proven to be an effecient tool to represent complicated systems. Nevertheless, in general it is not easy to transform a technical system, given as a Petri-Net, for implementation on a multiprocessor-system. The main purpose of the present contribution is to construct a general procedure for doing so. Our method can be realized in a purely automatic way as an algorithm having the original Petri-Net as its input and the resulting System of Concurrent State Machines (or, equivalenty, an implementation of these system) as its output.
CITATION STYLE
Unger, H., & Achour, K. B. (1992). A petri-net-based method to the design of parallel programs for a multiprocessor system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 634 LNCS, pp. 749–754). Springer Verlag. https://doi.org/10.1007/3-540-55895-0_479
Mendeley helps you to discover research relevant for your work.