1. An Holistic State Equation for Timed Petri Nets
- Author
-
Pelz, Elisabeth, Popova-Zeugmann, Louchka, Haustein, Mario, Werner, Matthias, Laboratoire d'Algorithmique Complexité et Logique (LACL), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Centre National de la Recherche Scientifique (CNRS), Institut fur Informatik, Humboldt University Of Berlin, Technische Universität Chemnitz, Pelz, Elisabeth, and Humboldt-Universität zu Berlin
- Subjects
[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO] ,[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] ,[INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] ,[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] ,[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC] ,ComputingMilieux_MISCELLANEOUS ,ACM: G.: Mathematics of Computing ,[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] - Abstract
International audience
- Published
- 2013