An Holistic State Equation for Timed Petri Nets

Elisabeth Pelz; Louchka Popova-Zeugmann; Mario Haustein; Matthias Werner

An Holistic State Equation for Timed Petri Nets

Elisabeth Pelz ¹ Louchka Popova-Zeugmann ² Mario Haustein ³ Matthias Werner ³

1 LACL - Laboratoire d'Algorithmique Complexité et Logique

2 Institut fur Informatik

3 Technische Universität Chemnitz

Document type :

Conference papers

Domain :

Computer Science [cs] / Distributed, Parallel, and Cluster Computing [cs.DC]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Computer Science [cs] / Logic in Computer Science [cs.LO]

Liste complète des métadonnées

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 : Wednesday, November 14, 2018 - 2:30:03 PM
Document(s) archivé(s) le : Tuesday, August 28, 2018 - 12:41:16 PM

CS&P13-LPZ.pdf

Files produced by the author(s)

An Holistic State Equation for Timed Petri Nets

File

Identifiers

Collections

Citation

Export

Metrics

33

19

Contact

An Holistic State Equation for Timed Petri Nets

File

Identifiers

Collections

Citation

Export

Share

Metrics

33

19

Contact