Hybrid Petri Nets Featuring Multiple Random Variables.- Abandonment Attack on the LEACH Protocol.- Coherent Resolutions of Nondeterminism.- Emulating Self-adaptive Stochastic Petri Nets.- Design and Evaluation of an Edge Concurrency Control Protocol for Distributed Graph Databases.- A Novel Data-driven Algorithm for the Automated Detection of Unexpectedly High Traffic Flow in Uncongested Traffic States.- A Network Aware Resource Discovery Service.- EthExplorer: A Tool for Forensic Analysis of the Ethereum Blockchain.- A Queueing Model that Works Only on Biggest Jobs.- Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-Core Systems.- Bounding the Rate of Convergence for One Class of Finite Capacity Time Varying Markov~Queues.