Conference paper

KOČÍ Radek and VOJNAR Tomáš. A PNtalk-based Model of a Cooperative Editor. In: Proceedings of the 35th Spring International Conference on Modelling and Simulation of Systems -- MOSIS 2001. Hradec nad Moravicí, Czech Republic, 2001, pp. 165-172. ISBN 80-85988-57-7.
Publication language:english
Original title:A PNtalk-based Model of a Cooperative Editor
Title (cs):Model kooperativního editoru založený na PNtalku
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)
Place:Hradec nad Moravicí, Czech Republic, CZ
Year:2001
ISBN:80-85988-57-7
URL:http://www.fit.vutbr.cz/~koci/publications/mosis01.ps [PS]
Keywords
formal modelling, object-oriented Petri nets, distributed systems
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Ko{\v{c}}{\'{i}} and Tom{\'{a}}{\v{s}} Vojnar},
   title = {A PNtalk-based Model of a Cooperative Editor},
   pages = {165--172},
   booktitle = {Proceedings of the 35th Spring International Conference on
	Modelling and Simulation of Systems -- MOSIS 2001},
   year = {2001},
   location = {Hradec nad Moravic{\'{i}}, Czech Republic, CZ},
   ISBN = {80-85988-57-7},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6006}
}

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]