Nested Petri nets: behavioural analysis and time semantics / von M. Sc. Leonid Dvorianskii. - Leonid Dvorianskii (2018)