Article

Free access

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

Authors:

Gjalt G. de Jong,

Bill LinAuthors Info & Claims

DAC '94: Proceedings of the 31st annual Design Automation Conference

Pages 49 - 55

https://doi.org/10.1145/196244.196272

Published: 06 June 1994 Publication History

PDF eReader

References

[1]

RA. BEEm~I~ AND T.H. MEN~, "Automatic Gate-level Synthesis of Speed- Independent Circuits", Proc. ICCAD, 1992.

Digital Library

Google Scholar

[2]

K. VAN BERKEL, J. KESSELS, M. RONCKEN, R.W.J.J. SAEIJS, AND F. SCHALIJ, "The VLSI-programming Language TANGRAM and its Translation into Handshake Circuits", Proc. EDAC, 1991.

Digital Library

Google Scholar

[3]

T.A. CmJ, Synthesis of Self-timed VLSI Circuits fi'om Graph-theoretic Specifications, Ph. D. thesis, MIT, 1987.

Google Scholar

[4]

R. VAN GLABBEEK AND F. VAANDRAGER, "Petri Net Models for Algebraic Theories of Concurrency", P1vc. of PARLE, LNCS 259, 1987.

Google Scholar

[5]

L. LAVAGNO, C.W. MOON, R.K. BRAYTON, AND A. SANGIOVANNI-VINCENTELLI, "Solving the State Assignment Problem for Signal Transition Graphs", P~vc. DAC, 1992, pp. 568-572.

Digital Library

Google Scholar

[6]

A.J. MARTIN, "Programming in VLSI: From Communicating Processes to Self- Timed VLSI Circuit Synthesis", Concurrent Programming, ed. C.A.R. Hoare, Addison-Wesley, 1989, pp. 1-64.

Digital Library

Google Scholar

[7]

A. MAZURKIEWICZ, "Concurrency, Modularity, and Synchronization", P~vc. Math. Found. ofComp. Sci., LNCS 379, Springer Verlag, 1989, pp. 577-598.

Digital Library

Google Scholar

[8]

J.L. PEARSON, Petri Net Theory and the Modelling of Systems, Prentice-Hall, 1981.

Digital Library

Google Scholar

[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.

Google Scholar

[10]

V. VARSHAVSKY, M. KISHINEVSKY, V. MARAKHOVSKY, V. PESCHANSKY, L. ROSEN- BLUM, A. TAUBIN, AND B.TzmLIN, Self-Timed Contlvl of Concurrent P1vcesses, Kluwer Academic Publishers, 1990.

Digital Library

Google Scholar

[11]

K.Y. YUN AND D. L. DILL, "Automatic Synthesis of 3D Asynchronous State Machines", P1vc. ICCAD, 1992.

Digital Library

Google Scholar

Cited By

View all

Davidrajuh RKrenczyk DSkolud B(2022)Modeling Production Systems as Modular Systems: A Petri Nets Based ApproachAdvances in Manufacturing III10.1007/978-3-030-99310-8_1(3-12)Online publication date: 26-Mar-2022
https://doi.org/10.1007/978-3-030-99310-8_1
Davidrajuh RDavidrajuh R(2021)Literature Review on Modular Petri NetsPetri Nets for Modeling of Large Discrete Systems10.1007/978-981-16-5203-5_5(77-85)Online publication date: 22-Sep-2021
https://doi.org/10.1007/978-981-16-5203-5_5
Davidrajuh R(2020)Extracting Petri Modules From Large and Legacy Petri Net ModelsIEEE Access10.1109/ACCESS.2020.30202138(156539-156556)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.3020213
Show More Cited By

Index Terms

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

Recommendations

The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets

This paper presents an overview of the Petri Net Baukasten developed by the "DFG-Forschergruppe Petrinetz-Technologie" in Berlin. The Petri Net Baukasten provides a unified presentation with different views on theory, application, and tools of Petri ...
Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
ISMS '15: Proceedings of the 2015 6th International Conference on Intelligent Systems, Modelling and Simulation

Siphons can be used to characterize deadlock states to solve deadlock problems in a class of Petri nets that represent models of flexible manufacturing system (FMS). This paper presents a deadlock prevention method for a class of FMS, where the unmarked ...
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri Nets

We show in this paper how the formalism of Parameterized Net Classes is realized with the Petri Net Kernel. Parameterized Net Classes are an abstract notion of Petri nets using formal parameters to express Petri net type characteristics. This formalism ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DAC '94: Proceedings of the 31st annual Design Automation Conference

June 1994

739 pages

ISBN:0897916530

DOI:10.1145/196244

Chairman:
Michael Lorenzetti
Mentor Graphics Corp., Wilsonville, OR

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 June 1994

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

DAC94

Sponsor:

EDAC
SIGDA
IEEE-CAS

DAC94: The 31st ACM/IEEE-CAS/EDAC Design Automation Conference

June 6 - 10, 1994

California, San Diego, USA

Acceptance Rates

DAC '94 Paper Acceptance Rate 100 of 260 submissions, 38%;

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
497
Total Downloads

Downloads (Last 12 months)68
Downloads (Last 6 weeks)12

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Davidrajuh RKrenczyk DSkolud B(2022)Modeling Production Systems as Modular Systems: A Petri Nets Based ApproachAdvances in Manufacturing III10.1007/978-3-030-99310-8_1(3-12)Online publication date: 26-Mar-2022
https://doi.org/10.1007/978-3-030-99310-8_1
Davidrajuh RDavidrajuh R(2021)Literature Review on Modular Petri NetsPetri Nets for Modeling of Large Discrete Systems10.1007/978-981-16-5203-5_5(77-85)Online publication date: 22-Sep-2021
https://doi.org/10.1007/978-981-16-5203-5_5
Davidrajuh R(2020)Extracting Petri Modules From Large and Legacy Petri Net ModelsIEEE Access10.1109/ACCESS.2020.30202138(156539-156556)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.3020213
Davidrajuh R(2019)A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature StudyComputers10.3390/computers80400838:4(83)Online publication date: 15-Nov-2019
https://doi.org/10.3390/computers8040083
Parker AWadekar SGavriel YLiebowitz J(2010)System-Level DesignKnowledge Management10.1201/9781420041125.ch64Online publication date: 11-Mar-2010
https://doi.org/10.1201/9781420041125.ch64
Parker AGavriel YWadekar S(2009)System-Level DesignDesign Automation, Languages, and Simulations10.1201/9780203009284.ch2(2-1-2-18)Online publication date: 6-Nov-2009
https://doi.org/10.1201/9780203009284.ch2
de Oliveira Filho Jde Lima MMaciel P(2003)Petri net based interface analysis for fast IP-core integrationFirst ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.10.1109/MEMCOD.2003.1210084(34-42)Online publication date: 2003
https://doi.org/10.1109/MEMCOD.2003.1210084
Zhu XLin B(1999)Hardware compilation for FPGA-based configurable computing machinesProceedings of the 36th annual ACM/IEEE Design Automation Conference10.1145/309847.310030(697-702)Online publication date: 1-Jun-1999
https://dl.acm.org/doi/10.1145/309847.310030
Xiaohan Zhu Bill Lia (1999)Compositional software synthesis of communicating processesProceedings 1999 IEEE International Conference on Computer Design: VLSI in Computers and Processors (Cat. No.99CB37040)10.1109/ICCD.1999.808610(646-651)Online publication date: 1999
https://doi.org/10.1109/ICCD.1999.808610
Xiaohan Zhu Lin B(1999)Hardware compilation for FPGA-based configurable computing machinesProceedings 1999 Design Automation Conference (Cat. No. 99CH36361)10.1109/DAC.1999.782039(697-702)Online publication date: 1999
https://doi.org/10.1109/DAC.1999.782039
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

The »Petri Net Baukasten«: An Overview

Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR

Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«