💾 Archived View for siiky.srht.site › wiki › masters_thesis.gmi captured on 2023-12-28 at 15:46:17. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Master's Thesis

siiky

2023/10/05

2023/12/28

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.gmi

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

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