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