search

lip6 / Coloane

Maintained components of Coloane editor.
https://move.lip6.fr/software/COLOANE/index.html
2 stars 0 forks source link

Is source code of CPN-AMI available ? #48

Open gl-yziquel opened 1 month ago

gl-yziquel commented 1 month ago

Is source code of CPN-AMI available ?

yanntm commented 2 weeks ago

I don't believe it's on github, but yes it should still exist on some repo at lip6. You are interested in some components ?

gl-yziquel commented 1 week ago

@yanntm I'm pretty much curious to have a look at the codebase. I'm dabbling in so-called "production systems" of the 1970s, and currently the SOAR kernel, and I wonder how much petri nets are amenable to model stuff happening in these stuff. For now, I'm more into an investigative phase.

yanntm commented 1 week ago

CPN-AMI was mostly a collection of analysis tools, with a server protocol so you could query the tools from a distant machine. The tools themselves had diverse origins, e.g. GreatSPN from Torino Univ. in Italy, PROD from Helsinki, Lola from Germany... Some of these tools are still active, for instance GreatSPN, and now have their own front-end. Overall CPN-AMI was mostly a driver for back end (model-checking) tools, handling format conversions and parse of results. And large parts were written in Ada, notably the server component (back end tools mostly C at the time).

I'm reluctant to spend the time searching for the CPN-AMI source and extracting/converting to git, making sure the licenses are ok for me to publish etc... unless you have a more pressing need for the code base. From my POV it's mostly obsolete code, you should rather use some tools that are maintained to see what one can do with Petri nets e.g. Tapaal, ITS-Tools, GreatSPN...

yanntm commented 1 week ago

Or (after reading a bit on SOAR) you want to browse the source code to have a look at a historical System-of-Systems that was already operational in the 90's ? CPN-AMI was an integration platform, I'm not sure it deserves to be called a SoS, it's more a set of tools with adapters to a kind of software bus, so more in the spirit of a kind of middleware than a SoS with various peers collaborating.

gl-yziquel commented 1 week ago

@yanntm do not bother too much then. I do have an archeological bent towards computer stuff. So I'd love it. But if it's a licensing headache, do not bother.

Thank you anyway.