Z and high level Petri nets

K.M. Hee, van, L.J.A.M. Somers, M. Voorhoeve

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


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.
Originele taal-2Engels
TitelVDM'91 - Formal Software Development (Proceedings 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991)
RedacteurenS. Prehn, W.J. Toetenel
ISBN van geprinte versie3-540-54834-3
StatusGepubliceerd - 1991

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'Z and high level Petri nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit