|
| Yasuyuki TAHARA
| |
|
| |
|
| |
|
|
An Analysis of Simulation between Petri Nets through Rewriting Logic Yasuyuki TAHARA Shinichi HONIDEN | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A
No. 11
pp. 1498-1503
Type of Manuscript:
Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design) Category: Keyword: concurrency, rewriting logic, category theory, Petri net, simulation, | | | Summary | Full Text:PDF | |
|
|