I was wondering if there is any framework or application(app)开发者_开发问答/program out there that can analyze the concurrency of any java code?
I am doing a project on Petri nets. I have generated an activity diagram (in the .xmi format) 开发者_高级运维using the UML tool Umbrello.I need to convert it to a Petri net and then synthesize it usi
I\'m looking for a quality tool to draw PetriNets with that has an interface to connect to my own application. I have a PetriNet abstraction layer, and instantiated a fairly large Net. Now I want to v
if I draw a graph that symbolizes all possible calls to blocking functions (java synchronized methods) and I haven\'t got any cycle in this graph, can I be sure that deadlocks are imposible. Do petri-
My goal is to implement web based editor for evaluation nets (extension of Petri nets), something like that swing app, language - Java. However I\'ve never implemented rich web applications like that,
Is there any software for drawing a Petri net and generating any source code from there? The source code could be in any already known programming language...
A friend just pointed me out to an new development in computer science called \"rule 开发者_开发知识库based verification with Petri nets\". He\'s not a computer guy but an artist, so I wonder if that\
加载中,请稍侯......