This paper presents a programming language oriented to the control of concurrent activities in industrial automation. The language is based on the formalism of Petri nets which may be used as a powerful model in describing parallelism and conflict in asynchronous concurrent systems. A number of extensions have been introduced to the original definition of Petri nets to allow handling of computational activities which interact with the nets. A compiler for the language is available for the Intel 8085 microprocessor and has been used in applications related to industrial automation. One of these applications, concerning batch weighing and material handling in a chemical plant, is described.
A language for concurrent process control in industrial automation
CLEMENTE, GIORGIO;CONGIU, SERGIO;MORO, MICHELE;
1984
Abstract
This paper presents a programming language oriented to the control of concurrent activities in industrial automation. The language is based on the formalism of Petri nets which may be used as a powerful model in describing parallelism and conflict in asynchronous concurrent systems. A number of extensions have been introduced to the original definition of Petri nets to allow handling of computational activities which interact with the nets. A compiler for the language is available for the Intel 8085 microprocessor and has been used in applications related to industrial automation. One of these applications, concerning batch weighing and material handling in a chemical plant, is described.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
