Petri nets and digital hardware design-Reference-Cited by-同舟云学术

Petri nets and digital hardware design

Published:1998 Issue: Volume: Page:154-236
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Yakovlev Alexandre V.,Koelmans Albert M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-65307-4_49

Reference143 articles.

1. A. Amroun and M. Bolton. Synthesis of controllers from Petri Net descriptions and application of ELLA. In L. Claesen, editor, Proc. IMEC-IFIP Int. Workshop on Applied Formal Methods for Correct VLSI Design, pages 57–74.

2. A.G. Astanovsky, V. I. Varshavsky, V. B. Marakhovsky, V. A. Peschansky, L. Y. Rosenblum, N.A. Starodubcev, R.L. Finkelshtein, and B. S. Tzirlin. Aperiodic Automata. Nauka, 1976. in Russian.

3. Technical Report 2316;E. Badouel,1994

4. M. Ben Ari. Principles of Concurrent and Distributed Programming. Prentice Hall International, London, 1990.

5. L. Bernardinello and F. De Cindio. A survey of basic net models and modular net classes. In Lecture Notes in Computer Science, volume 609, pages 304–351, 1992.

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SimPyler: A Compiler-Based Simulation Framework for Machine Learning Accelerators;2023 IEEE 34th International Conference on Application-specific Systems, Architectures and Processors (ASAP);2023-07

2. Simulation-driven Latency Estimations for Multi-core Machine Learning Accelerators;2023 IEEE 5th International Conference on Artificial Intelligence Circuits and Systems (AICAS);2023-06-11

3. Bibliography;Digital System Design using FSMs;2021-06-25

4. Elementary Net Synthesis Remains NP-Complete Even for Extremely Simple Inputs;Application and Theory of Petri Nets and Concurrency;2018

5. The Synthesis Problem;Transactions on Petri Nets and Other Models of Concurrency VII;2013