@inproceedings(Atzei2017,
 author       = {Nicola Atzei and Massimo Bartoletti and Tiziana Cimoli},
 year         = {2017},
 title        = {{A survey of attacks on Ethereum smart contracts (SoK)}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {10204 LNCS},
 pages        = {164--186},
 doi          = {10.1007/978-3-662-54455-6\_8},
)
@article(Bruni2001,
 author       = {Roberto Bruni and Jos\'{e} Meseguer and Ugo Montanari and Vladimiro Sassone},
 year         = {2001},
 title        = {{Functorial Models for Petri Nets}},
 journal      = {Information and Computation},
 volume       = {170},
 number       = {2},
 pages        = {207--236},
 doi          = {10.1006/inco.2001.3050},
)
@article(Buterin2014,
 author       = {Vitalik Buterin},
 year         = {2014},
 title        = {{A Next-generation Smart Contract and Decentralized Application Platform}},
 journal      = {Ethereum},
 number       = {January},
 pages        = {1--36},
 url          = {http://buyxpr.com/build/pdfs/EthereumWhitePaper.pdf},
)
@book(CoeckeKissinger2016,
 author       = {Bob Coecke and Aleks Kissinger},
 year         = {2017},
 title        = {{Picturing Quantum Processes. A First Course in Quantum Theory and Diagrammatic Reasoning}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316219317},
)
@article(Ghani2016,
 author       = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn},
 year         = {2016},
 title        = {{Compositional Game Theory}},
 url          = {http://arxiv.org/abs/1603.04641},
)
@misc(InvestopediaLong,
 author       = {Investopedia},
 title        = {{Long Position}},
 url          = {https://www.investopedia.com/terms/l/long.asp},
)
@misc(InvestopediaPut,
 author       = {Investopedia},
 title        = {{Put Option}},
 url          = {https://www.investopedia.com/terms/p/putoption.asp},
)
@misc(InvestopediaShort,
 author       = {Investopedia},
 title        = {{Short Position}},
 url          = {https://www.investopedia.com/terms/s/short.asp},
)
@book(Joshi2003,
 author       = {K.D. Joshi},
 year         = {2003},
 title        = {{Applied Discrete Structures}},
 publisher    = {New Age International},
)
@article(KellyLaplaza1980,
 author       = {Gregory Maxwell Kelly and Maria L. Laplaza},
 year         = {1980},
 title        = {{Coherence for Compact Closed Categories}},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@article(Meseguer1990,
 author       = {Jos\'{e} Meseguer and Ugo Montanari},
 year         = {1990},
 title        = {{Petri Nets are Monoids}},
 journal      = {Information and Computation},
 volume       = {88},
 number       = {2},
 pages        = {105--155},
 doi          = {10.1016/0890-5401(90)90013-8},
)
@article(Nakamoto2008,
 author       = {Satoshi Nakamoto},
 year         = {2008},
 title        = {{Bitcoin: A Peer-to-Peer Electronic Cash System}},
 journal      = {www.bitcoin.org},
 pages        = {1--9},
 url          = {https://bitcoin.org/bitcoin.pdf},
)
@inproceedings(Nielsen1991,
 author       = {Mogens Nielsen},
 year         = {1991},
 title        = {{Models for Concurrency}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {520 LNCS},
 pages        = {43--46},
 doi          = {10.1007/3-540-54345-7\_47},
)
@article(Petri2008,
 author       = {Carl Petri and Wolfgang Reisig},
 year         = {2008},
 title        = {{Petri Net}},
 journal      = {Scholarpedia},
 volume       = {3},
 number       = {4},
 pages        = {6477},
 doi          = {10.4249/scholarpedia.6477},
)
@book(Riemann1999,
 author       = {Robert-Christoph Riemann},
 year         = {1999},
 title        = {{Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus}},
 publisher    = {Herbert Utz Verlag},
)
@inproceedings(Sassone1995,
 author       = {Vladimiro Sassone},
 year         = {1995},
 title        = {{On the Category of Petri Net Computations}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {915},
 pages        = {334--348},
 doi          = {10.1007/3-540-59293-8\_205},
)
@article(Sassone1996,
 author       = {Vladimiro Sassone},
 year         = {1996},
 title        = {{An axiomatization of the algebra of Petri net concatenable processes}},
 journal      = {Theoretical Computer Science},
 volume       = {170},
 number       = {1-2},
 pages        = {277--296},
 doi          = {10.1016/S0304-3975(96)00009-6},
)
@article(Sassone2000,
 author       = {Vladimiro Sassone},
 year         = {2000},
 title        = {{On the Algebraic Structure of Petri Nets}},
 journal      = {Bulletin of the EATCS},
 volume       = {72},
 pages        = {133--148},
 url          = {http://eprints.ecs.soton.ac.uk/11825/},
)
@incollection(Selinger2010,
 author       = {Peter Selinger},
 year         = {2010},
 title        = {{A Survey of Graphical Languages for Monoidal Categories}},
 booktitle    = {New structures for physics},
 volume       = {813},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9\_4},
)
@inproceedings(Sobocinski2010,
 author       = {Pawel Soboci\'{n}ski},
 year         = {2010},
 title        = {{Representations of Petri Net Interactions}},
 booktitle    = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 volume       = {6269 LNCS},
 pages        = {554--568},
 doi          = {10.1007/978-3-642-15375-4\_38},
)
@misc(Statebox,
 author       = {{Statebox Foundation}},
 year         = {2017},
 title        = {{Statebox}},
 url          = {https://statebox.org},
)
@article(Winschel2010,
 author       = {Viktor Winschel and Markus Kr\"{a}tzig},
 year         = {2010},
 title        = {{Solving, Estimating, and Selecting Nonlinear Dynamic Models Without the Curse of Dimensionality}},
 journal      = {Econometrica},
 volume       = {78},
 number       = {2},
 pages        = {803--821},
 doi          = {10.3982/ECTA6297},
)