Publication detail
A PNtalk-based Model of a Cooperative Editor
KOČÍ, R. VOJNAR, T.
Original Title
A PNtalk-based Model of a Cooperative Editor
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
The paper presents a case study of using the object-oriented Petri nets(OOPNs) associated with the language and tool PNtalk to model anon-trivial distributed software system, namely a cooperative editor ofhierarchical diagrams. In the paper there is developed an object modelof (a key part of) the editor, which is subsequently transformed intoan OOPN. After some refinement, the obtained model should further servefor evaluating the tools being developed for simulating, prototyping,and formally analysing and verifying distributed systems by means ofPNtalk OOPNs.
Keywords
formal modelling, object-oriented Petri nets, distributed systems
Authors
KOČÍ, R.; VOJNAR, T.
RIV year
2001
Released
1. 1. 2001
Location
Hradec nad Moravicí, Czech Republic
ISBN
80-85988-57-7
Book
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
Pages from
165
Pages to
172
Pages count
8
URL
BibTex
@inproceedings{BUT5445,
author="Radek {Kočí} and Tomáš {Vojnar}",
title="A PNtalk-based Model of a Cooperative Editor",
booktitle="Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001",
year="2001",
pages="165--172",
address="Hradec nad Moravicí, Czech Republic",
isbn="80-85988-57-7",
url="http://www.fit.vutbr.cz/~koci/publications/mosis01.ps"
}