loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)
A State Equation for Petri Nets with Delaying Places
Postdam, Germany
March 27-March 30
ISBN: 0-7695-2546-6
ASCII Text
x 
 
Matthias Werner, Gero Muhl, "A State Equation for Petri Nets with Delaying Places," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 501-502, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.2006.16,
author = {Matthias Werner and Gero Muhl},
title = {A State Equation for Petri Nets with Delaying Places},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {2006},
isbn = {0-7695-2546-6},
pages = {501-502},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.16},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - A State Equation for Petri Nets with Delaying Places
SN - 0-7695-2546-6
SP501
EP502
A1 - Matthias Werner,
A1 - Gero Muhl,
PY - 2006
KW - null
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
Matthias Werner, Berlin University of Technology
Gero Muhl, Berlin University of Technology
There exist several ways to augment Petri nets with time. The most popular approach is to assign times to transitions as Time Petri nets [3] or Timed Petri nets [4] do. It is, however, also possible to augment places, edges, or tokens of a Petri net with time. Within this paper we consider Petri nets with time augmented places as introduced in [1, 2] which we call Petri nets with delaying places (PNDP). We present an approach that allows non-reachability to be proved in PNDP?s using a state equation. Due to a lack of space, we only present our main results.
Citation:
Matthias Werner, Gero Muhl, "A State Equation for Petri Nets with Delaying Places," ecbs, pp.501-502, 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.