Objectives
This service checks if the AMI-Net does respect the appropriate syntax
and generates internal formats for exploitation by the integrated tools.
You must execute this service before most CPN-AMI service. Ift least
one error is reported, you must correct it before runnning this service
again.
The service menu
When the Petri net you are connected, you can reach the Petri net syntax
checker service (in red).
Display
of results
Let us consider a small petri net that has been checked.
Small checked model.
The Petri net syntax checker outline some warning in
this model: a transition name contains spaces that will disable some
tools for which this is a limitation. The object is outlined in the
model window and a result window provides a specifi message (see below)
message associated to the object generating a warning
|