Detail publikace

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.
Název česky
Model kooperativního editoru založený na PNtalku
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kočí Radek, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

formal modelling, object-oriented Petri nets, distributed systems

Abstrakt

Příspěvek prezentuje případovou studii použití Objektově orientovaných Petriho sítí (OOPN) asociovaných s jazykem a nástrojem PNtalk pro modelování netriviálního distribuovaného softwarového systému - kooperativního editoru hierarchických diagramů. V příspěvku je ukázán postup vývoje modelu.

Rok
2001
Strany
165–172
Sborník
Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001
ISBN
80-85988-57-7
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",
  address="Hradec nad Moravicí, Czech Republic",
  isbn="80-85988-57-7",
  url="http://www.fit.vutbr.cz/~koci/publications/mosis01.ps"
}
Nahoru