G-Nets: A petri net based approach for logical and timing analysis of complex software systems

An agent-based Petri net model with application to seller/buyer design in electronic commerce

“…The G-Net model provides strong support for this principle [10]. G-Nets are an object-based extension of Petri nets.…”

“…The token movement in a G-Net object is similar to that of original G-Nets [10]. A token tkn is a triple (seq, sc, msg), where seq is the propagation sequence of the token, sc ∈ {before, after} is the status color of the token and msg is a triple (mtd_name, para_list, result).…”

A framework for modeling agent-oriented software

“…The G-Net model provides strong support for this principle [8]. G-Nets are an object-based extension of Petri nets.…”

“…The token movement in a G-Net object is similar to that of original G-Nets [8]. A token tkn is a triple (seq, sc, mtd), where seq is the propagation sequence of the token, sc is the status color of the token and mtd is a triple (mtd_name, para_list, result).…”

“…A token tkn is a triple (seq, sc, mtd), where seq is the propagation sequence of the token, sc is the status color of the token and mtd is a triple (mtd_name, para_list, result). The usage of these elements can be found in [8] [9]. For ordinary places, tokens are removed from input places and deposited into output places by firing transitions.…”