SourceFiles.org - Use the Source, Luke
Home | Register | News | Forums | Guide | MyLinks | Bookmark

Sponsored Links

Latest News
  General News
  Reviews
  Press Releases
  Software
  Hardware
  Security
  Tutorials
  Off Topic


Back to files

Lateron this file will contain some super important things to know -- but not yet.

THINGS TO KNOW

  • pnmodel.Label.equals(...) works on a simple but quick algorithm that tries to first match all the values of the first label against the other label's value, then matches the remaining values of the other label against the variables of the first label and thencompares the tuples. IT DOES NOT recognize when variables have the same name. It therefore returns "true" more often than a correct comparison (an "is unifiable with" check) would do.
  • In general the petrinettool package allows to use string literals as value parameters in labels and guards. You should know, that by now the PEPtool is not able to handle string literals.


Sponsored Links

Discussion Groups
  Beginners
  Distributions
  Networking / Security
  Software
  PDAs

About | FAQ | Privacy | Awards | Contact
Comments to the webmaster are welcome.
Copyright 2006 Sourcefiles.org All rights reserved.