Editorial, B. Krämer. A Systematic Approach to the Petri net Based Specification of Concurrent Systems, A. Mazzeo, et al. A Highly...