Detail publikace
SKETCHER: A Development Tool for Working with Petri Nets
CHOMÁT, L. PIVOŇKA, P. MALOUNEK, P. DVOŘÁČEK, M.
Originální název
SKETCHER: A Development Tool for Working with Petri Nets
Anglický název
SKETCHER: A Development Tool for Working with Petri Nets
Jazyk
en
Originální abstrakt
Development tool Sketcher was created for working with Petri nets. This application makes it possible to design, debug, simulate and verify Petri nets on real processes. Sketcher application can be used to implement created Petri nets into a programmable logic controller or another platform. Designed Petri nets are automatically shown on an industrial touch panel. This gives an advantage for complete visualization of technologic process. Created software is an excellent helper for research on Petri nets.
Anglický abstrakt
Development tool Sketcher was created for working with Petri nets. This application makes it possible to design, debug, simulate and verify Petri nets on real processes. Sketcher application can be used to implement created Petri nets into a programmable logic controller or another platform. Designed Petri nets are automatically shown on an industrial touch panel. This gives an advantage for complete visualization of technologic process. Created software is an excellent helper for research on Petri nets.
Dokumenty
BibTex
@article{BUT49668,
author="Luděk {Chomát} and Petr {Pivoňka} and Petr {Malounek} and Martin {Dvořáček}",
title="SKETCHER: A Development Tool for Working with Petri Nets",
annote="Development tool Sketcher was created for working with Petri nets. This application makes it possible to design, debug, simulate and verify Petri nets on real processes. Sketcher application can be used to implement created Petri nets into a programmable logic controller or another platform. Designed Petri nets are automatically shown on an industrial touch panel. This gives an advantage for complete visualization of technologic process. Created software is an excellent helper for research on Petri nets.",
address="Technical University - Sofia",
chapter="49668",
institution="Technical University - Sofia",
journal="TechSys 2009 Internationa Conference Engieering, Technologies and Systems",
number="1",
volume="14",
year="2009",
month="may",
pages="111--116",
publisher="Technical University - Sofia",
type="journal article - other"
}