Result Details

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.
Type
conference paper
Language
English
Authors
Polášek Petr, Ing., Ph.D.
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract

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.

Keywords

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

URL
Published
2014
Pages
353–362
Journal
CEUR Workshop Proceedings, vol. 2014, no. 1160, ISSN 1613-0073
Proceedings
CEUR Workshop Proceedings
Conference
International Workshop on Petri Nets and Software Engineering 2014
Publisher
CEUR-WS.org
Place
Tunisia
EID Scopus
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"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, start: 2014-01-01, end: 2016-12-31, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, start: 2012-01-01, end: 2014-12-31, completed
Departments
Back to top