SPIN Exercises: Problem in checking states with limited memory?

01 January 2018 0 9K Report

Hello everyone,

I am using latest version of SPIN v6.4.7. I am working on the exercises on the webpage of SPIN:

http://spinroot.com/spin/Man/1_Exercises.html

In exercise 1(i), when I run the following command in steps:

$ spin -DN=24 -m -search -DMEMLIM=17 -w15 ex_1f.pml

I don't get any output related to the number of states and memory. Instead I have some digraph output (Please see attached file). How do I get the number of states?

Please note that: I have to run the above command in steps since -search results in an error:

"'pan' is not recognized as an internal or external command, operable program or batch file." Nevertheless, the 3 step procedure has worked fine so far in every exercise. So I don't think it is the problem.

I hope someone can help. Thanks.

Badges
Science topic

More Muhammad Usama Sardar's questions See All

Installation of 64-bit Project Professional with Office Professional Plus?

Hello, I have 64-bit Office 2016 Professional Plus installed on my system (Windows 10, 64-bit). I am trying to install 64-bit Project Professional but it gives a strange error (Snapshot...

01 February 2018 4,194 2 View

SPIN Installation Problem "spin: error, the version of spin that generated this pan.c assumed a different wordsize (4 iso 8)"?

Hello everyone, I am using cygwin64 terminal on Windows 10 to run SPIN model checker (http://spinroot.com/spin/whatispin.html) The following two commands work fine: spin -a peterson.pml...

11 December 2017 7,051 1 View

error in running a model in Abaqus

Excessive rotation of nodes in node set ErrNodeExcessRotation-Step1

17 August 2021 0 0 View

error in modelling model in Abaqus

Excessive rotation of nodes in node set ErrNodeExcessRotation-Step1

17 August 2021 0 0 View

MGL tools

20 June 2021 0 0 View

i have some problem with chtMultiRegionSimpleFoam

--> FOAM FATAL ERROR: Maximum number of iterations exceeded From function Foam::scalar Foam::species::thermo::T(Foam::scalar, Foam::scalar, Foam::scalar, Foam::scalar (Foam::species::thermo::*)(Foam::scalar, Foam::scalar) const, Foam::scalar (Foam::species::thermo::*)(Foam::scalar, Foam::scalar) const, Foam::scalar (Foam::species::thermo::*)(Foam::scalar) const) const [with Thermo = Foam::hConstThermo >; Type = Foam::sensibleEnthalpy; Foam::scalar = double; Foam::species::thermo = Foam::species::thermo >, Foam::sensibleEnthalpy>] in file /home/ubuntu/OpenFOAM/OpenFOAM-4.1/src/thermophysicalModels/specie/lnInclude/thermoI.H at line 66. FOAM aborting #0 Foam::error::printStack(Foam::Ostream&) at ??:? #1 Foam::error::abort() at ??:? #2 Foam::heRhoThermo >, Foam::sensibleEnthalpy> > > >::calculate() at ??:? #3 Foam::heRhoThermo >, Foam::sensibleEnthalpy> > > >::correct() at ??:? #4 ? at ??:? #5 __libc_start_main in "/lib/x86_64-linux-gnu/libc.so.6" #6 ? at ??:?

24 March 2021 0 0 View

How to compare two groups with only two measurements?

Hiiiii everyone! I have an enquiry on statistical analysis. I was looking for many forum and it's still cannot solve my problem. I want to compare means of two groups of data but only with two...

03 March 2021 8,796 3 View

Binary Logistic Generalized Linear Mixed model in SPSS. Is it doable?

I want to analyses the proportion of swimming sperm of three species of fish in two salinities. To analyse the proportion of swimming sperm in a Generalized Linear Model, I would use a Binary...

03 March 2021 2,297 3 View

Dear all, I was wondering if anyone knows whether MGLtools and Autodock can run on Mac OS?

I have tried to download the 64-bit version of MGLtools however, as many times as I have downloaded and uninstall the programs, an error arises that the app needs to be updated. Thank you.

03 March 2021 5,997 2 View

Enhanced Yellow Fluorescent Protein (Aequorea victoria) DNA sequence?

I am on the lookout for the Enhanced Yellow Fluorescent Protein (Aequorea victoria) DNA sequence. Does anyone know where I can find it? Thank you in advance

03 March 2021 3,568 1 View

What kind of fluid could I use for a pitfall trap that also does not invalidate molecular testing?

Hi, I want to start testing pitfall trap to obtain ants samples, but I need to conduct molecular analysis on those insects. So, what kind of fluid can I use? Ethanol expires too early and I need...

03 March 2021 5,978 5 View

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10?

What's the best way to measure growth rates in House sparrow chicks from day 2 to day 10? Since, the growth curve from day 2 to 10 won't be like the "Logistic curve" it might not follow logistic...

03 March 2021 1,401 3 View