description
Petri net editor
@en
editor Petriho sítí
@cs
perangkat lunak
@id
name
Romeo Model Checker
@ast
Romeo Model Checker
@en
Romeo
@fr
Roméo
@cs
type
label
Romeo Model Checker
@ast
Romeo Model Checker
@en
Romeo
@fr
Roméo
@cs
altLabel
Romeo Model Checker
@fr
Roméo
@en
prefLabel
Romeo Model Checker
@ast
Romeo Model Checker
@en
Romeo
@fr
Roméo
@cs