Zero Configuration Networking (Zeroconf).
WWW Page: http://www.zeroconf.org.
Available at http://www.zeroconf.org.
W. M. P. van der Aalst (1997):
Verification of workflow nets.
In: Pierre Azéma & Gianfranco Balbo: ICATPN'97.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 407–426,
doi:10.1007/3-540-63139-9_48.
Marcos Kawazoe Aguilera, Wei Chen & Sam Toueg (1997):
Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication.
In: Marios Mavronicolas & Philippas Tsigas: Proceedings of the 11th Workshop on Distributed Algorithms (WDAG'97),
Lecture Notes in Computer Science 1320.
Springer,
pp. 126–140,
doi:10.1007/BFb0030680.
Étienne André & Laurent Fribourg (2010):
Behavioral Cartography of Timed Automata.
In: Antonín Kučera & Igor Potapov: Proceedings of the 4th Workshop on Reachability Problems in Computational Models (RP'10),
Lecture Notes in Computer Science 6227.
Springer,
Brno, Czech Republic,
pp. 76–90,
doi:10.1007/978-3-642-15349-5.
Available at http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/AF-rp10.pdf.
Gerd Behrmann, Alexandre David & Kim G Larsen:
A tutorial on UPPAAL 4.0 (Updated November 28, 2006).
Nicolas Capit, Georges Da Costa, Yiannis Georgiou, Guillaume Huard, Cyrille Martin, Grégory Mounié, Pierre Neyron & Olivier Richard (2005):
A batch scheduler with high level components.
In: Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGRID'05).
IEEE Computer Society,
Cardiff, UK,
pp. 776–783,
doi:10.1109/CCGRID.2005.1558641.
Camille Coti, Sami Evangelista & Kais Klai (2015):
Queue-less, Uncentralized Resource Discovery: Formal Specification and Verification.
In: Daniel Moldt, Heiko Rölke & Harald Störrle: 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.,
CEUR Workshop Proceedings 1372.
CEUR-WS.org,
pp. 315–316.
Available at http://ceur-ws.org/Vol-1372/paper19.pdf.
Camille Coti, Sami Evangelista & Kais Klai (2015):
Time Petri Net Models for a New Queuless and Uncentralized Resource Discovery System.
CoRR abs/1502.03431.
Available at http://arxiv.org/abs/1502.03431.
eptcs@eptcs.org