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"
}