Siphons and Traps of Algebraic Petri Nets (1996) [5 citations — 2 self]
by
Karsten Schmidt
In preparation
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Schmidt96siphonsand,
author = {Karsten Schmidt},
title = {Siphons and Traps of Algebraic Petri Nets},
booktitle = {In preparation},
year = {1996},
pages = {427--446},
publisher = {Springer-Verlag}
}
author = {Karsten Schmidt},
title = {Siphons and Traps of Algebraic Petri Nets},
booktitle = {In preparation},
year = {1996},
pages = {427--446},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
We overview recent results concerning the symbolic verification and calculation of siphons and traps for algebraic Petri nets and their relation to the net behavior.
