"Electronic System Design Automation Using High Level Petri Nets"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
High-level Petri Nets: Theory and Application	Kurt Jensen; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
AdaFlow: the automation of software analysis using Petri Nets	Albert J. Grecco	1988	Naval Postgraduate School
Petri Nets in Flexible and Agile Automation	MengChu Zhou	1995	Springer US
Hardware Design and Petri Nets	Alex Yakovlev; Luis Gomes; Luciano Lavagno	2000	Springer US
Electronic Design Automation	Laung-Terng Wang; Yao-Wen Chang and Kwang-Ting (Tim) Cheng	2009	Morgan Kaufmann
Unifying Petri Nets: Advances in Petri Nets	Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzegorz Rozenberg	2001	Springer Berlin Heidelberg
Electronic Design Automation for IC System Design, Verification, and Testing	Luciano Lavagno; Igor L. Markov; Grant Martin; Louis K. Scheffer	2016	Routledge
Petri nets. . applications	Pawlewski P. (ed.)	2010	In-Teh
The Electronic Design Automation Handbook	Dirk Jansen	2003	Springer US
Electronic System Level Design: An Open-Source Approach	Sandro Rigo; Rodolfo Azevedo; Luiz Santos	2011	Springer Netherlands
Concurrency and Hardware Design: Advances in Petri Nets	Jordi Cortadella; Alex Yakovlev; Grzegorz Rozenberg	2002	Springer Berlin Heidelberg
Lectures on Concurrency and Petri Nets: Advances in Petri Nets	Jörg Desel; Wolfgang Reisig; Grzegorz Rozenberg	2004	Springer Berlin Heidelberg
Lectures on Petri Nets II: Applications: Advances in Petri Nets	Wolfgang Reisig; Grzegorz Rozenberg	1998	Springer Berlin Heidelberg
FPGA Design Automation (Foundations and Trends in Electronic Design Automation)	Deming Chen, Jason Cong, Peichan Pan	2006	Now Publishers Inc
Supervisory Control of Discrete Event Systems Using Petri Nets	John O. Moody; Panos J. Antsaklis	1998	Springer US
Operating system specification using very high level dictions.	Peter Markstein	1975	Courant Institute of Mathematical Sciences, New York University
Petri Nets: An Introduction	Wolfgang Reisig	1985	Springer Berlin Heidelberg
Time and Petri Nets	Louchka Popova-Zeugmann	2013	Springer Berlin Heidelberg
Supervision of Petri Nets	Geert Stremersch	2001	Springer US
Free Choice Petri Nets	Jorg Desel; Javier Esparza	1995-01	Cambridge University Press
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Electronic System Design Automation Using High Level Petri Nets	Patrik Rokyta; Wolfgang Fengler; Thorsten Hummel	Hardware Design and Petri Nets	Alex Yakovlev; Luis Gomes; Luciano Lavagno	2000	Springer US
System Design Using Petri Nets	Wolfgang Reisig	Requirements Engineering: Arbeitstagung der GI, Friedrichshafen, 12–14 Oktober 1983	G. Hommel; D. Krönig	1983	Springer Berlin Heidelberg
High-Level Petri Nets	Kurt Jensen	Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS)	A. Pagnoni; G. Rozenberg	1983	Springer Berlin Heidelberg
High Level Petri Nets	Claude Girault; Jean-François Pradat-Peyre	Petri Nets / Fundamental models, Verification and Applications	Michel Diaz	2009	John Wiley & Sons
High-Level Stochastic Petri Nets	Jiacun Wang	Timed Petri Nets: Theory and Application	Jiacun Wang	1998	Springer US
Timed and High-level Petri Nets		Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools	Branislav Hrúz; MengChu Zhou	2007	Springer London
Z and high level Petri nets	K. M. van Hee; L. J. Somers; M. Voorhoeve	VDM ' 91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings: Volume 1: Conference Contributions	Soren Prehn; Hans Toetenel	1991	Springer Berlin Heidelberg
Analysis of High Level Petri Nets	Claude Girault; Jean-François Pradat-Peyre	Petri Nets / Fundamental models, Verification and Applications	Michel Diaz	2009	John Wiley & Sons
Hierarchical High Level Petri Nets for complex system analysis	Peter Buchholz	Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings	Robert Valette	1994	Springer Berlin Heidelberg
System-Level Design Automation	Sina Balkir; Günhan Dündar; A. Selçuk Ögrenci	Analog VLSI Design Automation	Sina Balkir; Günhan Dündar; A. Selçuk Ögrenci	2003	Routledge
A Grid Workflow Language Using High-Level Petri Nets	Martin Alt; Andreas Hoheisel; Hans-Werner Pohl; Sergei Gorlatch	Parallel Processing and Applied Mathematics: 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers	Roman Wyrzykowski; Jack Dongarra; Norbert Meyer; Jerzy Wasniewski	2006	Springer Berlin Heidelberg
Coloured petri nets: A high level language for system design and analysis	Kurt Jensen	Advances in Petri Nets 1990	Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Coloured Petri Nets: A High Level Language for System Design and Analysis	K. Jensen	High-level Petri Nets: Theory and Application	Kurt Jensen; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Electronic system-level design and high-level synthesis	Jianwen Zhu; Nikil Dutt	Electronic Design Automation	Laung-Terng Wang; Yao-Wen Chang and Kwang-Ting (Tim) Cheng	2009	Morgan Kaufmann
High Level Petri Nets Analysis with Helena	Sami Evangelista	Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings	Gianfranco Ciardo; Philippe Darondeau	2005	Springer Berlin Heidelberg
General refinement for high level petri nets	Raymond Devillers; Hanna Klaudel; Robert -C. Riemann	Foundations of Software Technology and Theoretical Computer Science: 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings	S. Ramesh; G. Sivakumar	1997	Springer Berlin Heidelberg
High Level Petri Nets and Distributed Termination	Horst Müller	Concurrency and Nets: Advances in Petri Nets	Klaus Voss; Hartmann J. Genrich; Grzegorz Rozenberg	1987	Springer Berlin Heidelberg
Reachability Trees for High-level Petri Nets	P. Huber; A. M. Jensen; L. O. Jepsen; K. Jensen	High-level Petri Nets: Theory and Application	Kurt Jensen; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Stochastic High-level Petri Nets and Applications	C. Lin; D. C. Marinescu	High-level Petri Nets: Theory and Application	Kurt Jensen; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Computer Tools for High-level Petri Nets	F. Feldbrugge; K. Jensen	High-level Petri Nets: Theory and Application	Kurt Jensen; Grzegorz Rozenberg	1991	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Electronic System Design Automation Using High Level Petri Nets" - similar Books and Chapters