Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event

TitlePrototyping and Analysis of Non-Sequential Systems Using Predicate-Event
Publication TypeTechnical Report
Year of Publication1990
AuthorsSchmidt, H. W.
Other Numbers584
Abstract

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.

URLhttp://www.icsi.berkeley.edu/pubs/techreports/tr-90-20.pdf
Bibliographic Notes

ICSI Technical Report TR-90-020

Abbreviated Authors

H. W. Schmidt

ICSI Publication Type

Technical Report