Publication Details

A PNtalk-based Model of a Cooperative Editor

KOČÍ, R.; VOJNAR, T. A PNtalk-based Model of a Cooperative Editor. Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic: 2001. p. 165-172. ISBN: 80-85988-57-7.
Czech title
Model kooperativního editoru založený na PNtalku
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
URL
Keywords

formal modelling, object-oriented Petri nets, distributed systems

Abstract

The paper presents a case study of using the object-oriented Petri nets (OOPNs) associated with the language and tool PNtalk to model a non-trivial distributed software system, namely a cooperative editor of hierarchical diagrams. In the paper there is developed an object model of (a key part of) the editor, which is subsequently transformed into an OOPN. After some refinement, the obtained model should further serve for evaluating the tools being developed for simulating, prototyping, and formally analysing and verifying distributed systems by means of PNtalk OOPNs.

Published
2001
Pages
165–172
Proceedings
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
ISBN
80-85988-57-7
Place
Hradec nad Moravicí, Czech Republic
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"
}
Back to top