Paper Info
Title
Specification of Production Systems using PPN and Sequential Operation Charts
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.
Year
DOI
Venue
2007
10.1109/COASE.2007.4341688
2007 IEEE International Conference on Automation Science and Engineering
Keywords
Field
DocType
flexible production systems,process algebra Petri net,sequential operation charts,programming style,information handling,process description specification
Specification language,Programming language,Programming language specification,Petri net,Computer science,Object language,Theoretical computer science,Language Of Temporal Ordering Specification,High-level programming language,Process calculus,First language
Conference
ISSN
ISBN
Citations 
2161-8070
978-1-4244-1153-5
0
PageRank 
References 
Authors
0.34
3
3
Name
Order
Citations
PageRank
Petter Falkman14610.37
Bengt Lennartson2934118.87
Kristin Andersson3433.85