Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Both sides next revision |
pn2mc:faq [2014/11/20 20:20]
jbiernacki | pn2mc:faq [2021/09/23 08:51] (current)
|
|---|
| - **I have a problem/question regarding RTCP-nets or PetriNet2ModelChecker tool. Where can I send it to receive an answer?** \\ \\ If you have any questions feel free to send an email to authors of this tutorial - jbiernac@agh.edu.pl or abiernac@agh.edu.pl. \\ \\ \\ | - **I have a problem/question regarding RTCP-nets or PetriNet2ModelChecker tool. Where can I send it to receive an answer?** \\ \\ If you have any questions feel free to send an email to authors of this tutorial - jbiernac@agh.edu.pl or abiernac@agh.edu.pl. \\ \\ \\ |
| - **The model file of RTCP-net is correct but compilation of the simulator for this net fails with message ''Error occured. Either the chosen file is corrupted or you do not have tools.jar library in '[JRE path]/lib' folder.'' or ''No java compiler found. Use java from jdk, not from jre!'' - what does it mean?** \\ \\ It means that the compiler cannot find the Tools.jar library in your currently set Java directory. The easiest solution is to copy Tools.jar library (usually found in the <JDK>/lib directory) to the <JRE>/lib directory. \\ \\ \\ | - **The model file of RTCP-net is correct but compilation of the simulator for this net fails with message ''Error occured. Either the chosen file is corrupted or you do not have tools.jar library in '[JRE path]/lib' folder.'' or ''No java compiler found. Use java from jdk, not from jre!'' - what does it mean?** \\ \\ It means that the compiler cannot find the Tools.jar library in your currently set Java directory. The easiest solution is to copy Tools.jar library (usually found in the <JDK>/lib directory) to the <JRE>/lib directory. \\ \\ \\ |
| - **I want to model RTCP-net using CPN Tools but its validation tool keeps displaying annoying error messages. What can I do?** \\ \\ To disable annoying messages one can //break// the path to the CPN Tools simulator. To accomplish this simply check the //Remote// option in //Simulator process// under //Options// menu. \\ \\ {{:pn2mc:faq:cpntools_sim_off.png?200|}} | - **I want to model RTCP-net using CPN Tools but its validation tool keeps displaying annoying error messages. What can I do?** \\ \\ To disable annoying messages one can //break// the path to the CPN Tools simulator. To accomplish this simply check the //Remote// option in //Simulator process// under //Options// menu and clear the //image path// value. \\ \\ {{:pn2mc:faq:cpntools_sim_off.png?200|}} |
| |
| |
| **[[:pn2mc:manual|Go back]]** | **[[:pn2mc:manual|Go back]]** |