Nested-unit Petri nets

Garavel, H

Garavel, H (reprint author), Univ Grenoble Alpes, INRIA, CNRS, Grenoble INP,LIG, F-38000 Grenoble, France.; Garavel, H (reprint author), Saarland Univ, Saarbrucken, Germany.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019; 104 (): 60

Abstract

Petri nets can express concurrency and nondeterminism but neither locality nor hierarchy. This article presents an extension of Petri nets, in which p......

Full Text Link