Publication detail

Enhancing the PNtalk Language with Negative Predicates

MAZAL, Z. JANOUŠEK, V. KOČÍ, R.

Original Title

Enhancing the PNtalk Language with Negative Predicates

English Title

Enhancing the PNtalk Language with Negative Predicates

Type

conference paper

Language

en

Original Abstract

This paper describes some of the drawbacks we have encountered using the PNtalk tool to model intelligent systems. We discuss the properties of high-level Petri nets that cause these drawbacks and compare various possible solutions. Finally, we present the selected approach. An enhancement of the PNtalk language with negative predicates is proposed and we show the exact semantics as well as usage on a practical example.

English abstract

This paper describes some of the drawbacks we have encountered using the PNtalk tool to model intelligent systems. We discuss the properties of high-level Petri nets that cause these drawbacks and compare various possible solutions. Finally, we present the selected approach. An enhancement of the PNtalk language with negative predicates is proposed and we show the exact semantics as well as usage on a practical example.

Keywords

Object Oriented Petri Nets, PNtalk, Negative Predicates

RIV year

2008

Released

23.04.2008

Publisher

NEUVEDEN

Location

Ostrava

ISBN

978-80-86840-40-6

Book

MOSIS '08

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

28

Pages to

34

Pages count

7

BibTex


@inproceedings{BUT30482,
  author="Zdeněk {Mazal} and Vladimír {Janoušek} and Radek {Kočí}",
  title="Enhancing the PNtalk Language with Negative Predicates",
  annote="This paper describes some of the drawbacks we have encountered using the PNtalk
tool to model intelligent systems. We discuss the properties of high-level Petri
nets that cause these drawbacks and compare various possible solutions. Finally,
we present the selected approach. An enhancement of the PNtalk language with
negative predicates is proposed and we show the exact semantics as well as usage
on a practical example.",
  address="NEUVEDEN",
  booktitle="MOSIS '08",
  chapter="30482",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  year="2008",
  month="april",
  pages="28--34",
  publisher="NEUVEDEN",
  type="conference paper"
}