Methods Based on Petri Net for Resource Sharing Estimation
Abstract
Recommendations
Timed Petri net: An expeditious tool for modelling and analysis of manufacturing systems
The manufacturing systems used in the modern industry are usually composed of complex and sophisticated processing equipment which are integrated by automated material handling means and by advanced networks for information transfer. To understand many ...
A Petri Net Model for Hardware/Software Codesign
This work presents Petri nets as an intermediate model for hardware/software codesign. The main reason of using of Petri nets is to provide a model that allows for formal qualitative and quantitative analysis in order to perform hardware/software ...
A Sufficient Condition for Reachability in a General Petri Net
Necessary and sufficient conditions for reachability exist only for special classes of Petri nets, acyclic Petri nets being one among them. We present a net transformation procedure that converts a general Petri net into an acyclic Petri net to utilize ...
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Check for updates
Author Tags
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