> Dear Sir/Madam, > > I was looking for working version of SPIN editor. I downloaded SPIN editor > but its not working. Can anybody help me?
SPIN does not employ Petri nets as far as I know, and you do not provide any detail on your problem, but perhaps the setup.exe I once made for Spin 4.1.2 can be helpful: http://www.win.tue.nl/~rp/spin/ BTW if anyone should have a more up to date version, please let me know. -- Reinier Post TU Eindhoven ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
