Conference paper

KOČÍ Radek, JANOUŠEK Vladimír and ZBOŘIL František. Object Oriented Petri Nets -- Modelling Techniques Case Study. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, pp. 165-170. ISBN 978-0-7695-3325-4.
Publication language:english
Original title:Object Oriented Petri Nets -- Modelling Techniques Case Study
Title (cs):Object Oriented Petri Nets -- Modelling Techniques Case Study
Pages:165-170
Proceedings:Second UKSIM European Symposium on Computer Modeling and Simulation
Conference:2nd UK European Symposium on Computer Modelling and Simulation
Place:Liverpool, GB
Year:2008
ISBN:978-0-7695-3325-4
Publisher:IEEE Computer Society
Keywords
modeling, simulation, system design
Annotation
The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models -- they are known as Model-Based Design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri Nets, especially its object variant, Object Oriented Petri Nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modelling techniques of OOPN on the case study of conference system design.
BibTeX:
@INPROCEEDINGS{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek and
	Franti{\v{s}}ek Zbo{\v{r}}il},
   title = {Object Oriented Petri Nets -- Modelling Techniques Case
	Study},
   pages = {165--170},
   booktitle = {Second UKSIM European Symposium on Computer Modeling and
	Simulation},
   year = {2008},
   location = {Liverpool, GB},
   publisher = {IEEE Computer Society},
   ISBN = {978-0-7695-3325-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8719}
}

Your IPv4 address: 107.22.83.0
Switch to IPv6 connection

DNSSEC [dnssec]