Master's Thesis

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.

Reading material

• Generic notes on Petri nets
• My entrypoint into Petri nets
• First mention I read of "compiling" Petri nets to "executable code"
• Modeling with Petri nets
• Programming with Petri nets in Erlang (talk)
• Programming with Petri nets in Erlang (whitepaper)
• π-calculus is not so great
• 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?)
• Sounds very relevant and has many possibly relevant references; but language is a bit borked, like automatic machine translation
• wp.david_gelernter.generative_communication_in_linda.html
• 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.

Possible leads

• Stephen A. Edwards, "Tutorial: Compiling concurrent languages for sequential processors"
• Gjalt G. de Jong, Bill Lin, "A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules"
• 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
• Joint Proceedings of Algorithms & Theories for the Analysis of Event Data 2023 and the International Workshop on Petri Nets for Twin Transition 2023
• Petri Nets 2023 Tool Exhibition
• I ❤ Petri Nets
• Modularization, Composition, and Hierarchization of Petri Nets with Heraklit
• Scholarpedia, "Petri net"

Statecharts

• 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
• https://xstate.js.org/docs/
• https://stately.ai/docs
• https://stately.ai/registry/new
• https://statecharts.dev/what-is-a-statechart.html