Detail výsledku

Petri Net Simulation as a Service

POLÁŠEK, P.; JANOUŠEK, V.; ČEŠKA, M. Petri Net Simulation as a Service. In CEUR Workshop Proceedings. CEUR Workshop Proceedings. Tunisia: CEUR-WS.org, 2014. no. 1160, p. 353-362. ISSN: 1613-0073.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Polášek Petr, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Češka Milan, prof. RNDr., CSc., UITS (FIT)
Abstrakt

This paper presents an approach to integrating a Petri net simulator into service-oriented simulation architecture in order to provide on demand simulation as a service. As a concrete example a simulation tool Renew is wrapped as a service and used to simulate a sample traffic control system represented as a Petri net model that is able to adjust its parameters via reflective simulation in distributed simulation environment. An overview of simulation architecture where modeling and simulation is treated as a service (MSaaS) is presented and its components, their role and attributes are defined and described. The architecture allows integration of various modeling and simulation tools with different level of functionality and can be used as a multiparadigm platform for modeling and simulation.

Klíčová slova

simulation as a service, Petri nets, tools integration, simulation architecture, web services, system design, simulation model, model specification, reflective simulation

URL
Rok
2014
Strany
353–362
Časopis
CEUR Workshop Proceedings, roč. 2014, č. 1160, ISSN 1613-0073
Sborník
CEUR Workshop Proceedings
Konference
International Workshop on Petri Nets and Software Engineering 2014
Vydavatel
CEUR-WS.org
Místo
Tunisia
EID Scopus
2-s2.0-84907937384
BibTeX 
@inproceedings{BUT111572,
  author="Petr {Polášek} and Vladimír {Janoušek} and Milan {Češka}",
  title="Petri Net Simulation as a Service",
  booktitle="CEUR Workshop Proceedings",
  year="2014",
  journal="CEUR Workshop Proceedings",
  volume="2014",
  number="1160",
  pages="353--362",
  publisher="CEUR-WS.org",
  address="Tunisia",
  issn="1613-0073",
  url="http://ceur-ws.org/Vol-1160/paper28.pdf"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Verifikace a optimalizace počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-12-1, zahájení: 2012-01-01, ukončení: 2014-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru