Sökning: onr:"swepub:oai:research.chalmers.se:636475bc-d8c3-4f7b-bcc8-5e41943ffa7e" >
Specification of Pr...
Specification of Production Systems Using PPN and Sequential Operation Charts
-
- Falkman, Petter, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Andersson, Kristin, 1976 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 1424411548
- 2007
- 2007
- Engelska.
-
Ingår i: 3rd IEEE International Conference on Automation Science and Engineering, IEEE CASE 2007; Scottsdale, AZ; United States; 22 September 2007 through 25 September 2007. - 1424411548 ; , s. 20-25
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Produktionsteknik, arbetsvetenskap och ergonomi (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Production Engineering, Human Work Science and Ergonomics (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas