siiky
2023/10/05
2024/01/26
2024/01/26
whitepaper,petri_nets,distributed,programming
I'll use this page to aggregate notes, links, papers, books, &c to be used for my Master's thesis.
First mention I read of "compiling" Petri nets to "executable code"
Programming with Petri nets in Erlang (talk)
Programming with Petri nets in Erlang (whitepaper)
Survey of Petri nets usage in programming; not very interesting
[picasso] Translation of Petri nets into "regular" C/Java code (no source available)
Join-pattern language as Elixir DSL (interesting, but not relevant?)
wp.david_gelernter.generative_communication_in_linda.gmi
How to distribute transitions across nodes
Fair queuing of transition firings could be achieved by a priority queue ordered by the number of firings of each transition (aka Parikh vector?). See also §"Static scheduling" from [picasso] to avoid a "runtime" that dynamically schedules transitions to fire.
Stephen A. Edwards, "Tutorial: Compiling concurrent languages for sequential processors"
Adrian Colyer, "Generative Communication in Linda" (blog post)
[noaccess] Deterministic Negotiations: Concurrency for Free
[noaccess] Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
International Workshop on Petri nets for Twin Transition
Petri Nets 2023 Tool Exhibition
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit
https://www.sciencedirect.com/science/article/pii/0167642387900359
https://github.com/statecharts/xstate-viz
https://github.com/statelyai/xstate-viz
https://github.com/statelyai/xstate