|
Volumn 2031, Issue , 2001, Pages 574-577
|
CPN/tools: A tool for editing and simulating coloured petri nets ETAPS tool demonstration related to TACAS
|
Author keywords
[No Author keywords available]
|
Indexed keywords
APPLICATION PROGRAMMING INTERFACES (API);
COMPUTER GRAPHICS;
GRAPHICAL USER INTERFACES;
PETRI NETS;
BI-MANUAL INTERACTION;
COLOURED PETRI NETS;
CPN/TOOLS;
INTERACTION TECHNIQUES;
MARKING MENU;
OPENGL GRAPHICS;
STATE-SPACE ANALYSIS;
TOOL DEMONSTRATION;
ALGORITHMS;
|
EID: 84903124945
PISSN: 03029743
EISSN: 16113349
Source Type: Journal
DOI: 10.1007/3-540-45319-9_39 Document Type: Article |
Times cited : (13)
|
References (5)
|