Access Restriction

Author Lilius, Johan
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Object-based Language Ob ♦ Program Construct ♦ Extended Abstract ♦ Special Kind ♦ High-level Petri Net ♦ Ccs-like Composition Operator ♦ Petri Net
Description In this paper we present a translation from the object-based language OB(PN)² to a class of high-level Petri nets. The OB(PN)² language is an extension of B(PN)² as defined by Best and Hopkins, and the semantics is inspired by the B(PN)² semantics defined in terms of M-nets. The translation relies on the CCS-like composition operators defined for M-nets. Each program construct is translated to a box (a special kind of net) or an operation for combining boxes. Thus in essence each program is translated into an expression in the algebra of boxes.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1996-01-01
Publisher Institution EURO-PAR ’96, LNCS 1123