Research Output | Dar Al-hikmah Library | IIUM Only
Petri nets are becoming one of the most important mathematical tools in Computer Science. In this paper, we study some mathematical properties of concurrent grammars which are controlled by Petri nets under parallel firing strategies, where transitions of Petri nets fire simultaneously in different modes.We propose a notion of concurrent context-fr