Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D., FEKT (FEKT)
Vojnar Tomáš, prof. Ing., Ph.D., FEKT (FEKT)
Abstrakt

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.

Klíčová slova

formal modelling, object-oriented Petri nets, distributed systems

URL
Rok
2001
Strany
165–172
Sborník
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
Konference
35th Spring International Conference Modelling and Simulation of Systems (MOSIS 2001)
ISBN
80-85988-57-7
Vydavatel
Marq software s.r.o.
Místo
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"
}
Projekty
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru