jq, https://stedolan.github ,
Principled design of the modern Web architecture, ACM Transactions on Internet Technology, vol.2, issue.2, pp.115-150, 2002. ,
DOI : 10.1145/514183.514185
The VLPN Benchmarck Suite ,
Petriweb: A Repository for Petri Nets, ICATPN. LNCS, pp.411-420, 2006. ,
DOI : 10.1007/11767589_24
A primer on the Petri Net Markup Language and ISO/IEC 15909-2, Petri Net Newsletter, vol.76, pp.9-28, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01126017
Complete Results for the 2016 Edition of the Model Checking Contest, 2016. ,
MCC???2015 ??? The Fifth Model Checking Contest, Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI, pp.262-273, 2016. ,
DOI : 10.1007/978-3-662-53401-4_12
URL : https://hal.archives-ouvertes.fr/hal-01361274
Zengularity: Play Framework, https ,
JSON Web Token (JWT), https://tools.ietf. org/html/rfc7519, 2015. ,
DOI : 10.17487/rfc7519
Inc: MongoDB, https ,