Abstract
This chapter reviews the impact of Petri nets in one of the domains in which they have played a predominant role: asynchronous circuits. The author also discusses challenges and topics of interest for the future.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Let us bear in mind that the Asynchronous Bibliography has not been updated since 2004.
References
E. Best, R. Devillers, Synthesis and reengineering of persistent systems. Acta Inform. 52(l), 35–60 (2015)
R. Brayton, L.P. Carloni, A.L. Sangiovanni-Vincentelli, T. Villa, Design automation of electronic systems: past accomplishments and challenges ahead. Proc. IEEE 103(11), 1952–1957 (2015).
R. Clarisó, J. Cortadella, Verification of timed circuits with symbolic delays, in Proc. of Asia and South Pacific Design Automation Conference, January (2004), pp. 628–633
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev, Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. Inf. Syst. E80-D(3), 315–325 (1997)
J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev. Logic Synthesis of Asynchronous Controllers and Interfaces (Springer, Berlin, 2002)
J. Cortadella, A. Moreno, D. Sokolov, A. Yakovlev, D. Lloyd, Waveform transition graphs: a designer-friendly formalism for asynchronous behaviours, in Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (IEEE, Los Alamitos, 2017), pp. 73–74
J. de San Pedro, T. Bourgeat, J. Cortadella, Specification mining of asynchronous controllers, in Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems (IEEE, Los Alamitos, 2016), pp. 107–114
M. Diaz, Modeling and analysis of communication and cooperation protocols using Petri net based models. Comput. Netw. 6(6), 419–141 (1982)
A. Ehrenfeucht, G. Rozenberg, Partial 2-structures; part I: Basic notions and the representation problem, and part II: State spaces of concurrent systems. Acta Inform. 27(4), 315–368 (1990)
M. Kishinevsky, A. Kondratyev, A. Taubin, V. Varshavsky, Concurrent Hardware: The Theory and Practice of Self-Timed Design. Series in Parallel Computing (Wiley, New York, 1994)
E.A. Lee, D.G. Messerschmitt, Synchronous data flow. Proc. IEEE 75(9), 1235–1245 (1987)
P. Maciel, E. Barros, W. Rosenstiel, A Petri net model for hardware/software codesign. Des. Autom. Embed. Syst. 4(4), 243–310 (1999)
D.E. Muller, W.S. Bartky, A theory of asynchronous circuits, in Proceedings of an International Symposium on the Theory of Switching (Harvard University Press, Cambridge, 1959), pp. 204–243
A. Peeters, The ‘Asynchronous’ Bibliography (BibTeX) database file async.bib. http://www.win.tue.nl/async-bib/doc/async.bib
C.A. Petri, Kommunikation mit Automaten. Dissertation, Schriften des IIM 2, Rheinisch-Westfälisches Institut für Instrumentelle Mathematik an der Universität Bonn, Bonn, 1962
I. Poliakov, A. Mokhov, A. Rafiev, D. Sokolov, A. Yakovlev, Automated verification of asynchronous circuits using circuit Petri nets, in 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems (IEEE, Los Alamitos, 2008), pp. 161–170
L.Y. Rosenblum, A.V. Yakovlev, Signal graphs: from self-timed to timed ones, in Proceedings of International Workshop on Timed Petri Nets, Torino, July 1985 (IEEE Computer Society Press, Los Alamitos, 1985), pp. 199–207
A. Semenov, A. Yakovlev, Verification of asynchronous circuits using time Petri-net unfolding, in Proc. ACM/IEEE Design Automation Conference (IEEE, Los Alamitos, 1996), pp. 5–63
W.M.P. van der Aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. (Springer, Berlin, 2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Cortadella, J. (2019). From Nets to Circuits and from Circuits to Nets. In: Reisig, W., Rozenberg, G. (eds) Carl Adam Petri: Ideas, Personality, Impact. Springer, Cham. https://doi.org/10.1007/978-3-319-96154-5_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-96154-5_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96153-8
Online ISBN: 978-3-319-96154-5
eBook Packages: Computer ScienceComputer Science (R0)