Result Details
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.
Type
conference paper
Language
English
Authors
Mazal Zdeněk, Ing., Ph.D., DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Kočí Radek, Ing., Ph.D., DITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., DITS (FIT)
Kočí Radek, Ing., Ph.D., DITS (FIT)
Abstract
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.
Keywords
Object Oriented Petri Nets, PNtalk, Negative Predicates
Published
2008
Pages
28–34
Proceedings
MOSIS '08
Conference
MOSIS2008 - 42nd Spring International Conference on Modelling and Simulation of Systems
ISBN
978-80-86840-40-6
Publisher
Marq software s.r.o.
Place
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"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Model Based System Development, GACR, Postdoktorandské granty, GP102/07/P306, start: 2007-01-01, end: 2009-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Intelligent Systems Research Group (RG INTSYS)
System Modelling and Optimization Research Group (VZ MODSIM)
System Modelling and Optimization Research Group (VZ MODSIM)
Departments