DocumentCode :
3518509
Title :
Specification of Production Systems using PPN and Sequential Operation Charts
Author :
Falkman, Peter ; Lennartson, Bengt ; Andersson, Kristin
Author_Institution :
Chalmers Univ. of Technol., Goteborg
fYear :
2007
fDate :
22-25 Sept. 2007
Firstpage :
20
Lastpage :
25
Abstract :
In this paper specification of discrete event systems, more specifically flexible production systems, is performed using two high level specification languages. The first language, called process algebra Petri net (PPN), is a mathematically well defined language that combines Petri nets and process algebra in order to achieve compact and concise specifications of complex systems. The second language, sequential operation charts (SOC), is a language specifically developed to meet expectations from industry concerning both programming style and information handling. SOC is based on the PPN language, but presents constructs that enable the language to be used not only for specifying process descriptions but also product and preparation related information. This makes it possible to use the SOC language all the way from the concept phase until final production. This paper has three aims. The first is to show the advantages of the PPN language compared to ordinary Petri nets. The second aim is to show how the SOC language is defined with respect to the PPN, language and the third aim finally is to show how SOCs can be used for the specification of a real industry case.
Keywords :
Petri nets; discrete event systems; flexible manufacturing systems; high level languages; large-scale systems; process algebra; production engineering computing; specification languages; flexible production systems; information handling; process algebra Petri net; process description specification; programming style; sequential operation charts; Algebra; Automation; Control systems; Discrete event systems; Petri nets; Power system modeling; Production systems; Routing; Specification languages; Virtual manufacturing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automation Science and Engineering, 2007. CASE 2007. IEEE International Conference on
Conference_Location :
Scottsdale, AZ
Print_ISBN :
978-1-4244-1154-2
Electronic_ISBN :
978-1-4244-1154-2
Type :
conf
DOI :
10.1109/COASE.2007.4341688
Filename :
4341688
Link To Document :
بازگشت