Project

General

Profile

Download (591 Bytes) Statistics
| Branch: | Tag: | Revision:
ST_Specification PTNet
PLACE
'Initial Marking' 'initialMarking'
'MARKING' 'marking'
;
;

HL_Specification HLNet
NET
'DECLARATION' 'declaration'
'VARIABLES' 'variables'
;
PLACE
'Initial Marking' 'initialMarking'
'MARKING' 'marking'
;
;

DAWN_Specification DawnNet
NET
'Signature' 'Signature'
'Axioms' 'Axioms'
'Variables' 'Variables'
'Properties' 'Properties'
;
PLACE
'Sort' 'sort'
'Initial Marking' 'initialMarking'
'Marking' 'marking'
;
TRANSITION
'Guard' 'guard'
;
ARC
'Inscription' 'inscription'
;
;
(7-7/9)