2024-05-17 Eike Best, Philippe Darondeau, "Petri Net Distributability"
2024-01-26 Bill Lin, "Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling"
2024-01-26 Bill Lin, "Software synthesis of process-based concurrent programs"
2024-01-26 Master's Thesis
2024-01-15 Wolfgang Reisig, "Understanding Petri Nets"
2023-12-05 Dmitry A. Zaitsev, "Paradigm of computations on the Petri nets"
2023-10-10 Statebox, "The Mathematical Specification of the Statebox Language"
2023-10-10 Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla, "Computational Petri Nets: Adjunctions Considered Harmful"
2023-10-10 Petri nets
2023-10-08 Marian V. Iordache & Panos J. Antsaklis, "Petri nets and programming: A survey"
2023-10-05 Zhenhua Yu, Yuanli Cai, Haiping Xu, "Petri nets semantics of π-calculus"
2023-09-14 Jörgen Brandt, Wolfgang Reisig, "Modeling Erlang Processes as Petri Nets"
2023-09-13 Jörgen Brandt, "Beyond state machines: services as petri nets"
2024-01-26 Bill Lin, "Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling"
2024-01-26 Bill Lin, "Software synthesis of process-based concurrent programs"
2024-01-26 Master's Thesis
2024-01-15 Wolfgang Reisig, "Understanding Petri Nets"
2023-12-05 Dmitry A. Zaitsev, "Paradigm of computations on the Petri nets"
2023-10-10 Statebox, "The Mathematical Specification of the Statebox Language"
2023-10-10 Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla, "Computational Petri Nets: Adjunctions Considered Harmful"
2023-10-10 Petri nets
2023-10-08 Marian V. Iordache & Panos J. Antsaklis, "Petri nets and programming: A survey"
2023-10-05 Zhenhua Yu, Yuanli Cai, Haiping Xu, "Petri nets semantics of π-calculus"
2023-09-14 Jörgen Brandt, Wolfgang Reisig, "Modeling Erlang Processes as Petri Nets"
2023-09-13 Jörgen Brandt, "Beyond state machines: services as petri nets"
Response: 20 (Success), text/gemini
| Original URL | gemini://siiky.srht.site/wiki/tag/petri_nets.gmi |
|---|---|
| Status Code | 20 (Success) |
| Content-Type | text/gemini; charset=utf-8 |