💾 Archived View for siiky.srht.site › wiki › masters_thesis.gmi captured on 2023-11-04 at 11:44:57. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
siiky
2023/10/05
2023/11/04
2023/11/04
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
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.
Adrian Colyer, "Generative Communication in Linda" (blog post)
Petri Net Technology for Communication-Based Systems
Elements of general net theory
On the High Complexity of Petri Nets ω-Languages
Formal Modelling and Incremental Verification of the MQTT IoT Protocol
Visualizing the network of software agents for verification of multiagent systems
Deterministic Negotiations: Concurrency for Free
Applications of Coloured Petri Nets for Functional Validation of Protocol Designs
A Petri net model for membrane systems with dynamic structure
A System Dependability Modeling Framework Using AADL and GSPNs
Models of Computation: A Tribute to Ugo Montanari’s Vision
Non-sequential Behaviour of Dynamic Nets
Model Validation in Controller Design
Does My Service Have Partners?
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Behavioral programming, decentralized control, and multiple time scales
A Model-Driven Approach for Dynamic Web Service Composition
Application and Theory of Petri Nets and Concurrency
International Workshop on Petri nets for Twin Transition
Petri Nets 2023 Tool Exhibition
Modularization, Composition, and Hierarchization of Petri Nets with Heraklit