Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
Abstract
References
Recommendations
A Mapping of Autonomous Net Condition Event Systems to GSPNs
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance ModelsThe software design for automatic controller in manufacturing systems shows lower complexity than for other applications but has high requirements for correctness, robustness and performance. Net condition event systems (NCES) are a net-based modeling ...
A Petri net synthesis theory for modeling flexible manufacturing systems
A theory that synthesizes Petri nets for modeling flexible manufacturing systems is presented. The theory adopts a bottom-up or modular-composition approach to construct net models. Each module is modeled as a resource control net (RCN), which ...
Analysis of discrete event systems by simulation of timed Petri net models
In the design and analysis of discrete event dynamic systems, the validation of their models is often addressed via simulation; this allows to analyse both the transient and the steady state behaviour of the modelled system. This article deals with ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in