LIP6 UPMC CNRS Move-team Macao FrameKit CPN-AMI
2006-10-26
LIP6 > Software > MoVe Sofware > Macao > FAQ > How can I draw a "bullet" for a Petri Net marking

There is a bug in the Macintosh toolbox DrawText which adds a white rectangle behind any text. If you use a 'alt shift dot', the white rectangle will appear in front of places.
A work around can be to use a bullet from the Zapf Dingbats font, size 9. See-bellow.

This is only a work around and I should change this for a future version of Macao because:

  • You cannot analyse anymore your model because the AMI-Net checker will not understand that the bullet is equivalent to "1"
  • The PostScript file generated (with the Zapf Dingbats font included) is 370K instead of 11 K !
Bas