@misc(LSF,
 title        = {{LSF}: Load Sharing Facility},
 howpublished = {WWW Page: http://www.platform.com/Products/platform-lsf},
 url          = {http://www.platform.com/Products/platform-lsf},
)
@misc(PBS,
 title        = {Portable Batch System},
 howpublished = {WWW Page: http://www.pbsgridworks.com/},
 url          = {http://www.pbsgridworks.com/},
)
@misc(torque,
 title        = {Torque Resource Manager},
 howpublished = {WWW Page: http://www.clusterresources.com/products/torque-resource-manager.php},
 url          = {http://www.clusterresources.com/products/torque-resource-manager.php},
)
@misc(zeroconf,
 title        = {Zero Configuration Networking (Zeroconf)},
 howpublished = {WWW Page: http://www.zeroconf.org},
 url          = {http://www.zeroconf.org},
)
@inproceedings(Vanderaalst97,
 author       = {W. M. P. van der Aalst},
 year         = {1997},
 title        = {Verification of workflow nets},
 editor       = {Pierre Az{\'e}ma and Gianfranco Balbo},
 booktitle    = {{ICATPN'97}},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {407--426},
 doi          = {10.1007/3-540-63139-9\_48},
)
@inproceedings(ACT,
 author       = {Marcos Kawazoe Aguilera and Wei Chen and Sam Toueg},
 year         = {1997},
 title        = {Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication},
 editor       = {Marios Mavronicolas and Philippas Tsigas},
 booktitle    = {Proceedings of the 11th Workshop on Distributed Algorithms (WDAG'97)},
 series       = {Lecture Notes in Computer Science},
 volume       = {1320},
 publisher    = {Springer},
 pages        = {126--140},
 doi          = {10.1007/BFb0030680},
)
@inproceedings(AF-rp10,
 author       = {{\'E}tienne Andr{\'e} and Laurent Fribourg},
 year         = {2010},
 title        = {Behavioral Cartography of Timed Automata},
 editor       = {Ku{\v c}era, Anton{\'\i}n and Igor Potapov},
 booktitle    = {{P}roceedings of the 4th {W}orkshop on {R}eachability {P}roblems in {C}omputational {M}odels ({RP}'10)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6227},
 publisher    = {Springer},
 address      = {Brno, Czech Republic},
 pages        = {76--90},
 doi          = {10.1007/978-3-642-15349-5},
 url          = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/AF-rp10.pdf},
)
@misc(uppaal,
 author       = {Gerd Behrmann and Alexandre David and Kim G Larsen},
 title        = {A tutorial on UPPAAL 4.0 (Updated November 28, 2006)},
)
@inproceedings(OAR,
 author       = {Nicolas Capit and Georges Da Costa and Yiannis Georgiou and Guillaume Huard and Cyrille Martin and Gr{\'e}gory Mouni{\'e} and Pierre Neyron and Olivier Richard},
 year         = {2005},
 title        = {A batch scheduler with high level components},
 booktitle    = {Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGRID'05)},
 publisher    = {IEEE Computer Society},
 address      = {Cardiff, UK},
 pages        = {776--783},
 doi          = {10.1109/CCGRID.2005.1558641},
)
@inproceedings(CEK15,
 author       = {Camille Coti and Sami Evangelista and Kais Klai},
 year         = {2015},
 title        = {Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification},
 editor       = {Daniel Moldt and Heiko R{\"{o}}lke and Harald St{\"{o}}rrle},
 booktitle    = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A} satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015.},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {1372},
 publisher    = {CEUR-WS.org},
 pages        = {315--316},
 url          = {http://ceur-ws.org/Vol-1372/paper19.pdf},
)
@article(arxivmodel,
 author       = {Camille Coti and Sami Evangelista and Kais Klai},
 year         = {2015},
 title        = {Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System},
 journal      = {CoRR},
 volume       = {abs/1502.03431},
 url          = {http://arxiv.org/abs/1502.03431},
)