loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Workshop on Petri Nets and Performance Models (PNPM '99)
A Mapping of Autonomous Net Condition Event Systems to GSPNs
Zaragoza, Spain
September 08-September 10
ISBN: 0-7695-0331-4
ASCII Text
x 
 
Peter Kemper, "A Mapping of Autonomous Net Condition Event Systems to GSPNs," Petri Nets and Performance Models, IEEE International Workshop on, pp. 136, Eighth International Workshop on Petri Nets and Performance Models (PNPM '99), 1999.
 
 
BibTex
x
 
@article{ 10.1109/PNPM.1999.796560,
author = {Peter Kemper},
title = {A Mapping of Autonomous Net Condition Event Systems to GSPNs},
journal ={Petri Nets and Performance Models, IEEE International Workshop on},
volume = {0},
year = {1999},
issn = {1063-6714},
pages = {136},
doi = {http://doi.ieeecomputersociety.org/10.1109/PNPM.1999.796560},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Petri Nets and Performance Models, IEEE International Workshop on
TI - A Mapping of Autonomous Net Condition Event Systems to GSPNs
SN - 1063-6714
SP
EP
A1 - Peter Kemper,
PY - 1999
KW - quantitative analysis
KW - verification
KW - automation and control systems
VL - 0
JA - Petri Nets and Performance Models, IEEE International Workshop on
ER -
 
Peter Kemper, Universit?t Dortmund
The 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 formalism recently developed for this task.In this paper we give an interpretation of autonomous NCES in terms of generalized stochastic Petri nets (GSPNs) such that the tangible reachability graph of a GSPN coincides with the reachability graph of a NCES. This gives the opportunity to employ GSPN techniques for functional and quantitative analysis of NCES models.
Index Terms:
quantitative analysis, verification, automation and control systems
Citation:
Peter Kemper, "A Mapping of Autonomous Net Condition Event Systems to GSPNs," pnpm, pp.136, Eighth International Workshop on Petri Nets and Performance Models (PNPM '99), 1999
Usage of this product signifies your acceptance of the Terms of Use.