Result 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: Marq software s.r.o., 2001. p. 165-172. ISBN: 80-85988-57-7.
Type
conference paper
Language
English
Authors
Kočí Radek, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D.
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

URL
Published
2001
Pages
165–172
Proceedings
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
Conference
35th Spring International Conference Modelling and Simulation of Systems (MOSIS 2001)
ISBN
80-85988-57-7
Publisher
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Hradec nad Moravicí, Czech Republic",
  isbn="80-85988-57-7",
  url="http://www.fit.vutbr.cz/~koci/publications/mosis01.ps"
}
Projects
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, Standardní projekty, GA102/00/1017, start: 2000-01-01, end: 2002-12-31, completed
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research groups
Petri Nets Research Group (VZ PETRINET)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top