petri-net

相关标签：javascript jquery android 多少钱 iPhone

Concurrent code analyzer

I was wondering if there is any framework or application(app)开发者_开发问答/program out there that can analyze the concurrency of any java code?[详细]

2023-03-07 11:50 分类：问答
How to convert an activity diagram to a petrinet, synthesize it and then analyse it?

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[详细]

2023-03-05 17:38 分类：问答
Is there a PetriNet tool with an IPC interface?

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[详细]

2023-02-25 06:30 分类：问答
Deadlock without cycle

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-[详细]

2023-02-21 15:16 分类：问答
Evaluation nets web-based editor: searching for the toolkit

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,[详细]

2023-02-11 23:04 分类：问答
Petri net drawing and code generation

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...[详细]

2023-02-10 00:58 分类：问答
How does rule-based verification with Petri nets work and what is this good for?

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\[详细]

2022-12-16 12:00 分类：问答