Publication Details
Title: Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event
Author: H. W. Schmidt
Group: ICSI Technical Reports
Date: May 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-20.pdf
Overview:
The specific language SEGRAS is centered on Predicate-Event nets (PrE-nets), a class of Petri nets whose data and behavioral invariants are defined using algebraic specification. This paper focuses on the analysis methods we have developed for these nets in the ESPRIT-project GRASPIN. PrE-nets inherit from the algebraic theory of abstract datatypes and from net-theory. From the side of algebraic specification notions like the modular decomposition, initial models or consistency and completeness carry over to PrE-nets and preserve their standard semantics. These notions are related to the static semantics and the invariants of the dynamic behavior of a non-sequential system. From the net-theoretic side theorems and methods for analysis of behavioral properties are applicable to PrE-nets in a straightforward way. Here we consider in particular net transformations and decomposition methods.
Bibliographic Information:
ICSI Technical Report TR-90-020
Bibliographic Reference:
H. W. Schmidt. Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event. ICSI Technical Report TR-90-020, May 1990
Author: H. W. Schmidt
Group: ICSI Technical Reports
Date: May 1990
PDF: http://www.icsi.berkeley.edu/pubs/techreports/tr-90-20.pdf
Overview:
The specific language SEGRAS is centered on Predicate-Event nets (PrE-nets), a class of Petri nets whose data and behavioral invariants are defined using algebraic specification. This paper focuses on the analysis methods we have developed for these nets in the ESPRIT-project GRASPIN. PrE-nets inherit from the algebraic theory of abstract datatypes and from net-theory. From the side of algebraic specification notions like the modular decomposition, initial models or consistency and completeness carry over to PrE-nets and preserve their standard semantics. These notions are related to the static semantics and the invariants of the dynamic behavior of a non-sequential system. From the net-theoretic side theorems and methods for analysis of behavioral properties are applicable to PrE-nets in a straightforward way. Here we consider in particular net transformations and decomposition methods.
Bibliographic Information:
ICSI Technical Report TR-90-020
Bibliographic Reference:
H. W. Schmidt. Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event. ICSI Technical Report TR-90-020, May 1990