In: Technique et Science Informatiques, Vol. 8, No. 4, pages 339-359. 1989. In French.
Abstract: Information systems frequently consist of a set of distributed nodes, especially in the field of industrial control. Petri nets provide a sound basis for such distributed systems, to ensure security and availability, and such methods are in demand in other areas such as hardware configuration and VLSI. The paper proposes such a methodology, not so much for its interest in a well-worked theoretical field, but as an example of its application to computer-aided engineering.
Keywords: distributed applications; industrial control; security; availability; VSLI; computer-aided engineering; hardware configuration.