The Go programming language ,
Renew 2.5 -towards a comprehensive integrated development environment for Petri net-based applications, Proc. of PETRI NETS 2016, vol.9698, 2016. ,
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
On the fly" verification of behavioural equivalences and preorders, Proc. of CAV'91, vol.575, 1992. ,
Building Petri nets tools around Neco compiler, Proc. of PNSE'13, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00911714
Deductive verification of state-space algorithms, Proc. of IFM 2013, vol.7940, 2013. ,
, gipc: child processes and IPC for gevent
Google's Go: A new programming language that's Python meets C++, 2009. ,
, , 2016.
Prototypage de systèmes parallèlesà partir de réseaux de Petri colorés, 1992. ,
Automated parallelization of timed Petri-net simulations, Journal of Parallel and Distributed Computing, 1995. ,
Nets in nets with SNAKES, Proc. of MOCA'09, 2009. ,
SNAKES: a flexible high-level Petri nets library, Proc. of PETRI NETS'15, vol.9115, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01186407
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
Supplementary material ,
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
A Petri net simulation kernel with extendibility, convenient modeling and fast simulation engine, Proc. of ICCT 2003, vol.2, 2003. ,