An Extension in the Definition of a Petri Net Execution

Raúl Héctor Gallard. An Extension in the Definition of a Petri Net Execution. Comput. J., 30(1):16-19, 1987.

Abstract

Abstract is missing.