Skip to Main content Skip to Navigation
Conference papers

An Holistic State Equation for Timed Petri Nets

Elisabeth Pelz 1 Louchka Popova-Zeugmann 2 Mario Haustein 3 Matthias Werner 3
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 Institut fur Informatik
3 Technische Universität Chemnitz
Document type :
Conference papers
Complete list of metadata

Cited literature [3 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01800689
Contributor : Elisabeth Pelz <>
Submitted on : Sunday, May 27, 2018 - 5:57:20 PM
Last modification on : Monday, June 15, 2020 - 12:00:34 PM
Long-term archiving on: : Tuesday, August 28, 2018 - 12:41:16 PM

File

Vignette du document
CS&P13-LPZ.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01800689, version 1

Collections

CNRS | UPEC-UPEM | LACL | UPEC

Citation

Elisabeth Pelz, Louchka Popova-Zeugmann, Mario Haustein, Matthias Werner. An Holistic State Equation for Timed Petri Nets. CS&P 2013, Sep 2013, Warsowie, Poland. ⟨hal-01800689⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

113

Files downloads

83