D. Bilenko, The Go programming language

L. Cabac, M. Haustermann, and D. Mosteller, Renew 2.5 -towards a comprehensive integrated development environment for Petri net-based applications, Proc. of PETRI NETS 2016, vol.9698, 2016.

S. Chaou, G. Utard, and F. Pommereau, Evaluating a peer-to-peer storage system in presence of malicious peers, Proceedings of HPCS'11, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00669179

J. C. Fernandez and L. Mounier, On the fly" verification of behavioural equivalences and preorders, Proc. of CAV'91, vol.575, 1992.

L. Fronc and F. Pommereau, Building Petri nets tools around Neco compiler, Proc. of PNSE'13, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00911714

F. Gava, J. Fortin, and M. Guedj, Deductive verification of state-space algorithms, Proc. of IFM 2013, vol.7940, 2013.

J. P. Gehrcke, gipc: child processes and IPC for gevent

J. Kincaid, Google's Go: A new programming language that's Python meets C++, 2009.

F. Kordon, H. Garavel, L. M. Hillah, F. Hulin-hubard, G. Chiardo et al., , 2016.

F. Kordon, Prototypage de systèmes parallèlesà partir de réseaux de Petri colorés, 1992.

D. M. Nicol and W. Mao, Automated parallelization of timed Petri-net simulations, Journal of Parallel and Distributed Computing, 1995.

F. Pommereau, Nets in nets with SNAKES, Proc. of MOCA'09, 2009.

F. Pommereau, SNAKES: a flexible high-level Petri nets library, Proc. of PETRI NETS'15, vol.9115, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01186407

F. Pommereau, ABCD: a user-friendly language for formal modelling and analysis, Proc. of PETRI NETS 2016, vol.9698, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01352028

F. Pommereau and J. De-la-houssaye, Supplementary material

G. Rodola, A cross-platform process and system utilities module for Python

, The Theoretical Foundations Group of the Department for Informatics of the University of Hamburg: Renew, the reference net workshop -highlights

B. Wang and C. Zhao, A Petri net simulation kernel with extendibility, convenient modeling and fast simulation engine, Proc. of ICCT 2003, vol.2, 2003.