High level Petri nets have tokens with values, traditionally called colors, and transitions that produce tokens in a functional way, using the consumed tokens as arguments of the function application. Large nets should be designed in a topdown approach and therefore we introduce a hierarchical net model which combines a data flow diagram technique with a high level Petri net model. We use Z to specify this net model, which is in fact the metamodel for specific systems. Specific models we specify partly by diagrams and partly in Z. We give some advantages and disadvantages of using Z in this way. Finally we show how to specify systems by means of an example.
CITATION STYLE
van Hee, K. M., Somers, L. J., & Voorhoeve, M. (1991). Z and high level petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 551 LNCS, pp. 204–219). Springer Verlag. https://doi.org/10.1007/3-540-54834-3_14
Mendeley helps you to discover research relevant for your work.