Pregled bibliografske jedinice broj: 201606
Mapping Petri Net-Based Temporal Knowledge Representation Scheme into CP-Net Model
Mapping Petri Net-Based Temporal Knowledge Representation Scheme into CP-Net Model // 28th international convention : MIPRO 2005 : Proceedings = 28. međunarodni skup : Zbornik radova / Budin, Leo ; Ribarić, Slobodan (ur.).
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2005. str. 134-139 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 201606 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Mapping Petri Net-Based Temporal Knowledge Representation Scheme into CP-Net Model
Autori
Ribarić, Slobodan ; Šnajder, Jan
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
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, 2005, 134-139
ISBN
953-233-012-7
Skup
International convention (28 ; 2005) : Računala u tehničkim sustavima. Inteligentni sustavi = Computers in technical systems : (CTS). Intelligent systems
Mjesto i datum
Opatija, Hrvatska, 30.05.2005. - 03.06.2005
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
temporal knowledge representation; timed Petri net; coloured Petri net
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
