Nested-unit Petri nets - Garavel, Hubert (Journal of logical and algebraic methods in programming, 2019)
Keywords: Computational Complexity; Computer Science; Concurrency theory; Formal Languages and Automata Theory; Model checking; Petri net; Process algebra; Process calculus; Programming Languages; Software Engineering; Systems and Control; Verification; Model checking; Process algebra; Verification; Concurrency theory; Petri net; Process calculus; formal method; formal semantics; model checking; process algebra; CADP; concurrency theory; process calculus; decision diagram; verification