Spinroot

A forum for Spin users

You are not logged in.

#1 2011-04-26 11:05:20

Jockel
Member
Registered: 2011-01-19
Posts: 1

SpinSpider - 2 processes

Hello!

Is it possible to display the state space of 2 interleaved processes with a shared variable?
The GraphViz dot-executable can process one graph and generate one picture. Does this limitation limits the possibility of SpinSpider?

Kind regards,
jockel

Offline

#2 2011-04-27 01:56:06

spinroot
forum
Registered: 2010-11-18
Posts: 691
Website

Re: SpinSpider - 2 processes

your best bet is to check with Moti Ben-Ari [url]http://stwww.weizmann.ac.il/g-cs/benari/[/url]
who maintains the SpinSpider software

Offline

Board footer

Powered by FluxBB