Detail výsledku

Enhancing the PNtalk Language with Negative Predicates

MAZAL, Z.; JANOUŠEK, V.; KOČÍ, R. Enhancing the PNtalk Language with Negative Predicates. MOSIS '08. Ostrava: Marq software s.r.o., 2008. p. 28-34. ISBN: 978-80-86840-40-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Mazal Zdeněk, Ing., Ph.D., FIT (FIT), UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Kočí Radek, Ing., Ph.D., UITS (FIT)
Abstrakt

Thispaper describes some of the drawbacks we have encountered using the PNtalk toolto model intelligent systems. We discuss the properties of high-level Petrinets that cause these drawbacks and compare various possible solutions.Finally, we present the selected approach. An enhancement of the PNtalklanguage with negative predicates is proposed and we show the exact semanticsas well as usage on a practical example.

Klíčová slova

Object Oriented Petri Nets, PNtalk, Negative Predicates

Rok
2008
Strany
28–34
Sborník
MOSIS '08
Konference
MOSIS2008 - 42nd Spring International Conference on Modelling and Simulation of Systems
ISBN
978-80-86840-40-6
Vydavatel
Marq software s.r.o.
Místo
Ostrava
BibTeX 
@inproceedings{BUT30482,
  author="Zdeněk {Mazal} and Vladimír {Janoušek} and Radek {Kočí}",
  title="Enhancing the PNtalk Language with Negative Predicates",
  booktitle="MOSIS '08",
  year="2008",
  pages="28--34",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="978-80-86840-40-6"
}
Projekty
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů, GAČR, Standardní projekty, GA102/07/0322, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Vývoj systémů založený na modelech, GAČR, Postdoktorandské granty, GP102/07/P306, zahájení: 2007-01-01, ukončení: 2009-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina inteligentních systémů (VZ INTSYS)
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru