Journal article

KOČÍ Radek and JANOUŠEK Vladimír. Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study. CEUR Workshop Proceedings. 2012, vol. 851, no. 06, pp. 253-266. ISSN 1613-0073. Available from: http://www.ceur-ws.org/Vol-851/paper19.pdf
Publication language:english
Original title:Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
Title (cs):Návrh systémů s využitím formalismu Objektově orientovaných Petriho sítí: Příápadová studie
Pages:253-266
Place:DE
Year:2012
URL:http://www.ceur-ws.org/Vol-851/paper19.pdf
Journal:CEUR Workshop Proceedings, Vol. 851, No. 06, DE
ISSN:1613-0073
Keywords
modeling, Object oriented Petri nets, layered nets, system design
Annotation
The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling technique based on Object oriented Petri nets.
BibTeX:
@ARTICLE{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {Modeling and Simulation-Based Design Using Object-Oriented
	Petri Nets: A Case Study},
   pages = {253--266},
   journal = {CEUR Workshop Proceedings},
   volume = {851},
   number = {06},
   year = {2012},
   ISSN = {1613-0073},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=10052}
}

Your IPv4 address: 54.198.68.152
Switch to IPv6 connection

DNSSEC [dnssec]