Attributes | Values |
---|
rdf:type
| |
Description
| - 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.
- 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. (en)
|
Title
| - Enhancing the PNtalk Language with Negative Predicates
- Enhancing the PNtalk Language with Negative Predicates (en)
|
skos:prefLabel
| - Enhancing the PNtalk Language with Negative Predicates
- Enhancing the PNtalk Language with Negative Predicates (en)
|
skos:notation
| - RIV/00216305:26230/08:PU76705!RIV10-MSM-26230___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| - P(GA102/07/0322), P(GD102/05/H050), P(GP102/07/P306), Z(MSM0021630528)
|
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/08:PU76705
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Object Oriented Petri Nets, PNtalk, Negative Predicates (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Kočí, Radek
- Janoušek, Vladimír
- Mazal, Zdeněk
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| |
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |