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

Sponsored Links

Latest News
  General News
  Press Releases
  Off Topic

Back to files

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


  • 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
  Networking / Security

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