Keyword : marked graph

Concurrency and Periodicity Analysis of Acyclic-Graph Evolution Driven by Node Firing
Morikazu NAKAMURA Kenji ONAGA Seiki KYAN 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/03/25
Vol. E78-A  No. 3 ; pp. 371-381
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 7th Karuizawa Workshop on Circuits and Systems)
Category: Graphs and Networks
Keyword: 
acyclic graph evolution, firing concurrency, mutual exclusion, marked graph, 
 Summary | Full Text:PDF
Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model
Hirozumi YAMAGUCHI Kozo OKANO Teruo HIGASHINO Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/10/25
Vol. E77-A  No. 10 ; pp. 1623-1633
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications)
Category: 
Keyword: 
Petri net, marked graph, protocol synthesis, parallel events, 
 Summary | Full Text:PDF
On a Sufficient Condition for a Matrix to be the Synchronic Distance Matrix of a Marked Graph
Kiyoshi MIKAMI Hiroshi TAMURA Masakazu SENGOKU Yoshio YAMAGUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/10/25
Vol. E76-A  No. 10 ; pp. 1607-1609
Type of Manuscript:  Special Section LETTER (Special Section on Nets-Oriented Software Specification and Design)
Category: 
Keyword: 
marked graph, synchronic distance matrix, distance matrix, 
 Summary | Full Text:PDF