A forum for Spin users
You are not logged in.
Hi,
I'm totally a newcomer to this field and my question is probably so much trivial! I'm urgently needing a tool to draw communication structure (channels, proctypes, messages sent between them,...) directly from Promela source code. I just found EpiSpin providing such a tool but the way it draws proctypes and communication among them is not suitable for me. I'd rather to have a timeline specificly for each proctype (parallel lines drawn) and then have links between them signifying the message.
Thanks a lot,
Offline