摘要: This paper presents a new method, algorithms and tool for the visualization of a finite complete prefix of a Petri net or a signal transition graph. A transformation is defined that converts such a prefix into a two-level model. A... 展开
作者 | Bystrov, A. Koutny, M. Yakovlev, A. | ||
---|---|---|---|
原报告号 | PB2003105198 | 总页数 | 18 |
主办者 | University of Newcastle Department of Computing Science | ||
报告分类号 | [62 - Computers, Control & Information Theory49H - Semiconductor Devices] | ||
报告类别/文献类型 | PB / NTIS科技报告 | ||
关键词 | Integrated circuits Visualization Petri nets Graphs Signal processing Algorithms Transistors Transformation Waveforms Flow Models Design Foreign technology Very large scale integration(VLSI) |