Transactions of the Institute of Systems, Control and Information Engineers
Online ISSN : 2185-811X
Print ISSN : 1342-5668
ISSN-L : 1342-5668
A Complete Set of Reduction Rules for Marked Graphs and State Machines
Tomoyo KAWAGUCHI, Shinzo KODAMA
Author information
Keywords: reduction rules, completeness, boundedness, liveness
JOURNAL FREE ACCESS

1999 Volume 12 Issue 2 Pages 139-141

Details
Download PDF (412K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© The Institute of Systems, Control and Information Engineers
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top