References:
Literature related to cycloids:
C.A. Petri,
Collection of Handwritten Scripts on Cycloids, Lecture Milano, April 1989.
Petri-Milano-lectures.
C. A. Petri,
On Technical Safety and Security,
Petri Net Newsletter, 1989.
Vol. 33, pp.25-30.
https://www.cycloids.de/Petri-Safety-Security-1.pdf.
https://www.informatik.uni-augsburg.de/pnnl/.
C.A. Petri, CY. Yuan,
On Technical Safety and Security (continued),
Petri Net Newsletter, 1990,
Vol. 35 (1990), pp. 8-15.
https://www.cycloids.de/Petri-Yuan-Safety-Security-2.pdf.
https://www.informatik.uni-augsburg.de/pnnl/.
C.A. Petri,
Collection of Handwritten Scripts on Cycloids, Lecture University
of Hamburg, 1990/91.
Petri-Hamburg-lectures.
C.A. Petri, Nets, Time and Space, Theoretical Computer Science, Vol.153, (1996), pp. 3-48.
doi: 10.1016/0304-3975(95)00116-6
O. Kummer, M-O. Stehr,
Petri's Axioms of Concurrency - a Selection of
Recent Results,
in:Application and Theory of Petri Net
1997, Vol. 1248 of Lecture
Notes in Computer Science, Springer-Verlag, Berlin,
(1997), pp. 195-214.
doi: 10.1007/3-540-63139-9_37
C.A. Petri,
Letter of C.A. Petri with respect to the work of Olaf Kummer and Mark-Oliver Stehr on Concurrency Axioms (1997).
Petri's letter.
M-O. Stehr,
System Specification by Cyclic Causality Constraints.
Technical Report 210, Department of Informatics, Univ. Hamburg, (1998).
M-O. Stehr,
Thinking in Cycles.
in: Application and Theory of Petri Nets
and Concurrency, Vol. 1420 of
Lecture Notes in Computer Science,
Springer-Verlag, Cham, (1998), pp. 205-225.
doi:10.1007/3-540-69108-1_12.
M-O. Stehr,
Characterizing Security in Synchronization Graphs.
Petri Net Newsletter, Vol. 56 (1999), 17-26
https://www.cycloids.de/Stehr-Security.pdf.
https://www.informatik.uni-augsburg.de/pnnl/.
O. Kummer,
Axiomatic Systems in Concurrency Theory.
Logos Verlag Berlin, (2001).
C. A. Petri,
Slides of the Lecture "Systematics of Net Modelling,
Hamburg, (2004).
http://uhh.de/inf-petri-sysnetmod.
U. Fenske, Zykloide und
Überlegungen zur Verallgemeinerung, Diploma
Thesis, Dep. of Informatics, Univ. Hamburg, (2008).
C.A. Petri, R. Valk,
On the Physical Basics of Information Flow - Results obtained in cooperation Konrad Zuse,
Petri Nets 2008.
https://www2.informatik.uni-hamburg.de/TGI/mitarbeiter/profs/petri/Xian_Petri_Valk.pdf.
R. Valk,
From Fundamental Laws in Physics to Coordination Principles, in Tutorial: Nets, Physics and Coordination,
A tribute to the work of Carl Adam Petri and Anatol W. Holt, Milano,
(2013).
http://uhh.de/inf-valk-tutorium-npc.
R. Valk,
On the Structure of Cycloids Indroduced by Carl Adam Petri,
in: Application and Theory of Petri Nets and Concurrency, Vol. 10877 of
Lecture Notes in Computer Science,
Springer-Verlag, Cham, (2018), pp. 294-314.
doi: 10.1007/978-3-319-91268-4_15.
R. Valk ,
On the Two Worlds of Carl Adam Petri's
Nets,
in: W.Reisig, G.Rozenberg
(Eds.), Carl Adam Petri: Ideas, Personality, Impact,
Springer, Cham, (2019), pp. 37-44.
doi: 10.1007/978-3-319-96154-5
R. Valk,
Properties of Petri's Cycloid
Systems,
Fundamenta Informaticae Vol. 169, (2019), pp. 85-121.
doi: 10.3233/FI-2019-1840
.
B. Jessen, D. Moldt,
Some Simple Extensions of Petri's Cycloids,
in: M.Köhler-Bussmeier, E.Kindler,H.Rölke (Eds.),
PNSE 2020 Petri Nets and Software Engineering,
CEUR Workshop Proceedings,
http://ceur-ws.org/Vol-2651/paper13.pdf
,
(2020), pp. 194-212.
R. Valk,
Circular Traffic Queues and Petri's Cycloids,
in: Application and Theory of Petri Nets
and Concurrency, Vol. 12152 of
Lecture Notes in Computer Science,
Springer-Verlag, Cham, (2020), pp. 176-195.
doi: 10.1007/978-3-030-51831-8.
R. Valk, D. Moldt,
On Reductions of Cycloids,
in: M.Köhler-Bussmeier, H.Rölke, D. Moldt (Eds.),
PNSE 2022 Petri Nets and Software Engineering,
CEUR Workshop Proceedings,
https://ceur-ws.org/Vol-3170/paper6.pdf.