CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Specification of Production Systems Using PPN and Sequential Operation Charts

Petter Falkman (Institutionen för signaler och system, Automation) ; Bengt Lennartson (Institutionen för signaler och system, Automation) ; Kristin Andersson (Institutionen för signaler och system, Automation)
3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007; Scottsdale, AZ; United States; 22 September 2007 through 25 September 2007 p. 20-25. (2007)
[Konferensbidrag, refereegranskat]

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.



Denna post skapades 2010-11-23. Senast ändrad 2016-05-19.
CPL Pubid: 129430

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Produktionsteknik

Chalmers infrastruktur