Definitions of Petri Net . Part II


The articles [3], [1], [4], and [2] provide the notation and terminology for this paper. In this paper x, y, X , Y are sets. We introduce G-net structures which are extensions of 1-sorted structure and are systems 〈 a carrier, an entrance, an escape 〉, where the carrier is a set and the entrance and the escape are binary relations. Let N be a 1-sorted… (More)


  • Presentations referencing similar topics