Mapping Petri Net-Based Temporal Knowledge Representation Scheme into CP-Net Model (CROSBI ID 507766)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Ribarić, Slobodan ; Šnajder, Jan
engleski
Mapping Petri Net-Based Temporal Knowledge Representation Scheme into CP-Net Model
This paper presents a mapping of a knowledge representation scheme based on Petri Net with Time Tokens (PNTT) into a scheme based on Coloured Petri Net (CP-net). Basic module of the scheme uses Allen's interval-based temporal logic for time dependent event-driven reasoning. Mapping of the scheme into a CP-net model allows for the use of common tools such as Design/CPN for model construction and analysis. An example of a model mapped into a CP/net model is given and the reasoning process is illustrated.
temporal knowledge representation; timed Petri net; coloured Petri net
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
134-139.
2005.
objavljeno
Podaci o matičnoj publikaciji
28th international convention : MIPRO 2005 : Proceedings = 28. međunarodni skup : Zbornik radova
Budin, Leo ; Ribarić, Slobodan
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO
953-233-012-7
Podaci o skupu
International convention (28 ; 2005) : Računala u tehničkim sustavima. Inteligentni sustavi = Computers in technical systems : (CTS). Intelligent systems
predavanje
30.05.2005-03.06.2005
Opatija, Hrvatska