💾 Archived View for siiky.srht.site › wiki › masters_thesis.gmi captured on 2024-06-16 at 13:02:39. Gemini links have been rewritten to link to archived content

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

Master's Thesis

siiky

2023/10/05

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