Finite state process
Posted on 2006-11-23
i need some help construcing a fsp model in Labelled Transition System Analyzer.
i want to model a p2p file sharing system
o create – adds an entry in the local buffer
o read – accesses a local/remote file
o write – an exclusive operation and modifies a local/remote file
o delete – an exclusive operation and deletes a local/remote file
o dir – displays all local files
o rdir – displays all remote files
at the moment i can only hand draw the model for this but i cant devise code for it.
im not asking anyone to do this. i only want someone to direct me to a website where i can improve my skills using LTSA
any help will be great