search

vldtecno / PTN-Engine

A Petri net based automation engine.
https://github.com/vldtecno/PTN-Engine/wiki
Apache License 2.0
14 stars 6 forks source link

Some questions about the project #28

Open xiaoyuwang0 opened 2 years ago

xiaoyuwang0 commented 2 years ago

Hello， I would like to know if it is possible to create a multi-threaded Petri with locks using this tool. or Can I add these functions myself?

vldtecno commented 1 year ago

Hi @xiaoyuwang0 , I am currently working on this feature. I hope to have it ready by the end of this month beginning of the next. What do you mean exactly with a multi-threaded Petri net? Do you mean the net running in a separate thread listening for events? If yes, then this is what I am working on, if not I would be curious to know :)

xiaoyuwang0 commented 1 year ago

I want to use events from multi-threaded programs to build a petri net to solve some thread problems such as deadlock detection

vldtecno commented 1 year ago

Hi @xiaoyuwang0 sorry for the delay, unfortunately my time was not so much to work on this project. Could you please check my latest commit and let me know if it solved your issue?

xiaoyuwang0 commented 1 year ago

@vldtecno I am working on this with a tool called SVF Thanks for your help