A communicating Petri net model for the design of concurrent asynchronous modules

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A communicating Petri net model for the design of concurrent asynchronous modules

Full text

Pdf (98 KB)

Source

Annual ACM IEEE Design Automation Conference archive
Proceedings of the 31st annual Design Automation Conference table of contents

San Diego, California, United States

Pages: 49 - 55

Year of Publication: 1994

ISBN:0-89791-653-0

Authors

Gjalt G. de Jong	IMEC Kapeldreef 75, B 3001 Leuven, Belgium
Bill Lin	IMEC Kapeldreef 75, B 3001 Leuven, Belgium

Sponsors

IEEE-CAS : Circuits & Systems
SIGDA: ACM Special Interest Group on Design Automation
EDAC : Electronic Design Automation Consortium

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 13, Citation Count: 10

Additional Information:

references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/196244.196272 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Peter A. Beerel , Teresa H.-Y. Meng, Automatic gate-level synthesis of speed-independent circuits, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.581-586, November 1992, Santa Clara, California, United States
	2	Kees van Berkel , Joep Kessels , Marly Roncken , Ronald Saeijs , Frits Schalij, The VLSI-programming language tangram and its translation into handshake circuits, Proceedings of the conference on European design automation, February 25-28, 1991, Amsterdam, The Netherlands
	3	T.A. CmJ, Synthesis of Self-timed VLSI Circuits fi'om Graph-theoretic Specifications, Ph. D. thesis, MIT, 1987.
	4	R. VAN GLABBEEK AND F. VAANDRAGER, "Petri Net Models for Algebraic Theories of Concurrency", P1vc. of PARLE, LNCS 259, 1987.
	5	L. Lavagno , C. W. Moon , R. K. Brayton , A. L. Sangiovanni-Vincentelli, Solving the state assignment problem for signal transition graphs, Proceedings of the 29th ACM/IEEE conference on Design automation, p.568-572, June 08-12, 1992, Anaheim, California, United States
	6	Alain J. Martin, Programming in VLSI: from communicating processes to delay-insensitive circuits, Developments in concurrency and communication, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
	7	Antoni W. Mazurkiewicz, Concurrency, Modularity, and Synchronization, Proceedings on Mathematical Foundations of Computer Science 1989, p.577-598, August 28-September 01, 1989
	8	James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1981
	9	P. VANBEKBERGEN, C. YKMAN-COUVREUR, AND B. LIN, "A Generalized Signal Transition Graph Model for Modeling Mixed Asynchronous/Synchronous and Arbitration Behavior", Proc. Int. Workshop on Logic Synthesis, 1993.
	10	M. A. Kishinevskiµi , Alexandre V. Yakovlev , Victor I. Varshavsky, Self-Timed Control of Concurrent Processes: The Design of Aperiodic Logical Circuits in Computers and Discrete Systems, Kluwer Academic Publishers, Norwell, MA, 1990
	11	Kenneth Y. Yun , David L. Dill, Automatic synthesis of 3D asynchronous state machines, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.576-580, November 1992, Santa Clara, California, United States

CITED BY 10

	Bill Lin, Software synthesis of process-based concurrent programs, Proceedings of the 35th annual conference on Design automation, p.502-505, June 15-19, 1998, San Francisco, California, United States
	B. Lin, Efficient compilation of process-based concurrent programs without run-time scheduling, Proceedings of the conference on Design, automation and test in Europe, p.211-217, February 23-26, 1998, Le Palais des Congrés de Paris, France
	Bill Lin , Gjalt de Jong , Tilman Kolks, Hierarchical optimization of asynchronous circuits, Proceedings of the 32nd ACM/IEEE conference on Design automation, p.712-717, June 12-16, 1995, San Francisco, California, United States
	Xiaohan Zhu , Bill Lin, Hardware compilation for FPGA-based configurable computing machines, Proceedings of the 36th ACM/IEEE conference on Design automation, p.697-702, June 21-25, 1999, New Orleans, Louisiana, United States
	Steven Vercauteren , Diederik Verkest , Gjalt de Jong , Bill Lin, Derivation of formal representations from process-based specification and implementation models, Proceedings of the 10th international symposium on System synthesis, p.16-23, September 17-19, 1997, Antwerp, Belgium
	Bill Lin , Steven Vercauteren, Synthesis of concurrent system interface modules with automatic protocol conversion generation, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.101-108, November 06-10, 1994, San Jose, California, United States
	Gert Goossens , Ivo Bolsens , Bill Lin , Francky Catthoor, Design of heterogeneous ICs for mobile and personal communication systems, Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design, p.524-531, November 06-10, 1994, San Jose, California, United States
	Bill Lin, Compiling concurrent programs for embedded sequential execution, Integration, the VLSI Journal, v.40 n.2, p.106-117, February, 2007
	Jordi Cortadella , Michael Kishinevsky , Luciano Lavagno , Alexandre Yakovlev, Deriving Petri Nets from Finite Transition Systems, IEEE Transactions on Computers, v.47 n.8, p.859-882, August 1998
	Zuohua Ding , Jianming Dong , Wei Han, Formal architectural models for agent-based service systems, International Journal of Computer Applications in Technology, v.31 n.1/2, p.45-63, March 2008