Petri Net Based Interface Analysis for Fast IP-Core Integration
Abstract
Index Terms
- Petri Net Based Interface Analysis for Fast IP-Core Integration
Recommendations
Analysis of Signed Petri net
In this paper, the behavioural properties of Signed Petri net (SPN) are given along with the two techniques: reachability tree and matrix equations to analyse the SPN. An actual case scenario of a restaurant model is given and analysed using the ...
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri NetsThis 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 ...
Implementation of Parameterized Net Classes with the Petri Net Kernel of the »Petri Net Baukasten«
Unifying Petri Nets, Advances in Petri NetsWe 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
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Check for updates
Qualifiers
- Article
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0