Petri net reactive modules☆
Under an Elsevier user license
open archive
Keywords
Reactive system
Petri net
Process semantics
Replacement
Structural transformation
Cited by (0)
- ☆
The research reported in this paper was partially supported by National University Research Council of Romania under the Grant CNCSIS632/2004–2005.
- 1
On leave from Faculty of Computer Science, “Al.I.Cuza” University, Iaşi, Romania.
Copyright © 2006 Elsevier B.V. All rights reserved.