petri-net

Evaluation nets web-based editor: searching for the toolkit

微笑、不失礼 提交于 2020-01-03 05:15:24
问题 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, so I am searching for the proper toolkit now. Currently I am thinking about GWT, but, as far as I have no expirience with it, I want to consider another options too. Hoping for your advice. Thanks in advance ;) 回答1: There are a number of alternative options: Vaadin is my favourite. you can build

Concurrent code analyzer

佐手、 提交于 2019-12-22 08:47:17
问题 I was wondering if there is any framework or application(app)/program out there that can analyze the concurrency of any java code? If the tool knows all the implementations of the jre shipped classes and methods then it comes down to a simple analyzing of synchronized blocks and method and their call hierarchies. From here it can create a petri net and tell you for sure if you could ever experience a deadlock. Am I missing out on something or is this really so easy? Then there must be some

Concurrent code analyzer

感情迁移 提交于 2019-12-05 17:29:51
I was wondering if there is any framework or application(app)/program out there that can analyze the concurrency of any java code? If the tool knows all the implementations of the jre shipped classes and methods then it comes down to a simple analyzing of synchronized blocks and method and their call hierarchies. From here it can create a petri net and tell you for sure if you could ever experience a deadlock. Am I missing out on something or is this really so easy? Then there must be some cool tool doing that kind of stuff? Or would such a tool report too many possible deadlocks that are

Petri net drawing and code generation

孤者浪人 提交于 2019-11-30 09:23:56
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... Slightly less desirable option would be outputting a file with only the description of the Petri net graphs in a text-based file in some open format, like XML or any other data language. I could then write the code generator myself, but at least I would like to avoid gui/graph development part ;)) Thanks Check PetriNetSim it is developed in Java, you can draw and simulate simple/colored/timed petrinets. It comes with few examples. You

Petri net drawing and code generation

爷,独闯天下 提交于 2019-11-29 14:46:09
问题 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... Slightly less desirable option would be outputting a file with only the description of the Petri net graphs in a text-based file in some open format, like XML or any other data language. I could then write the code generator myself, but at least I would like to avoid gui/graph development part ;)) Thanks 回答1: Check PetriNetSim it is