News for hackers. Stuff that matters.

A comment on Solving State Explosion with Petri-Nets and Vector Clocks.

Re:Solving State Explosion with Petri-Nets and Vector Clocks by stabbles on Saturday March 18, 2017 @05:36PM (#13903639)
Never heard of petri-nets before, but familiar with ES. Do you have some good references as an intro to petri-nets?
[ Parent | on HN ]
Re:Solving State Explosion with Petri-Nets and Vector Clocks by orksliver on Saturday March 18, 2017 @06:24PM (#13903811)
I'm afraid I've learned about them mostly by tinkering - the tool I use is: https://github.com/sarahtattersall/PIPE

I believe "Dining Philosophers" is the usual problem used to introduce the need and concept of Petri-Nets - googled for some examples I found:

http://www.cs.cmu.edu/afs/cs/academic/class/15671-f97/www/le...

Also here's the link to the PNML source used for tic-tac-toe: https://github.com/bitwrap/bitwrap-io/blob/master/bitwrap_io...

[ Parent | on HN ]
Re:Solving State Explosion with Petri-Nets and Vector Clocks by gbrits on Saturday March 18, 2017 @07:12PM (#13903997)
This is solid: http://www.informatik.uni-hamburg.de/TGI/PetriNets/
[ Parent | on HN ]