Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Reversing Steps in Petri Nets.

D. de Frutos-Escrig, M. Koutny, and L. Mikulski. Petri Nets, volume 11522 of Lecture Notes in Computer Science, page 171-191. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Gutiérrez de Arcos University of Stuttgart

Dr. Marie Davidova University of Stuttgart

Jörg Desel

Das ist InformatikJ. Desel (Eds.) Springer, (2001)

Das ist InformatikJ. Desel (Eds.) Springer, (2001)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)Hilfreiche Hilfe Methode, Implementierung und Evaluation eines Verfahrens zur Adaption an das prozedurale WissenD. Iglezakis. Kath. Universität Eichstätt-Ingolstadt, Aachen, (2007)

Univ. -Prof. Dr. Gerd de Bruyn University of Stuttgart

David Inkermann

Other publications of authors with the same name

Characterizing termination in LOTOS via testing.D. de Frutos-Escrig, M. Núñez, and J. Quemada. PSTV, volume 38 of IFIP Conference Proceedings, page 237-250. Chapman & Hall, (1995)TIC: A Timed Calculus for LOTOS.J. Quemada, A. Azcorra, and D. de Frutos-Escrig. FORTE, page 195-209. North-Holland, (1989)Testing Semantics for Probabilistic LOTOS.M. Núñez, and D. de Frutos-Escrig. FORTE, volume 43 of IFIP Conference Proceedings, page 367-382. Chapman & Hall, (1995)Decision Problems for Petri Nets with NamesF. Rosa-Velardo, and D. de Frutos-Escrig. CoRR, (2010)Unifying the Linear Time-Branching Time Spectrum of Process SemanticsD. de Frutos-Escrig, C. Gregorio-Rodríguez, M. Palomino, and D. Romero-Hernández. Logical Methods in Computer Science, (2013)Acceptance Trees for Probabilistic Processes.M. Núñez, D. de Frutos-Escrig, and L. Díaz. CONCUR, volume 962 of Lecture Notes in Computer Science, page 249-263. Springer, (1995)Bisimilarity Congruences for Open Terms and Term Graphs via Tile Logic.R. Bruni, D. de Frutos-Escrig, N. Martí-Oliet, and U. Montanari. CONCUR, volume 1877 of Lecture Notes in Computer Science, page 259-274. Springer, (2000)Denotational Semantics for Timed Testing.L. Díaz, and D. de Frutos-Escrig. ARTS, volume 1231 of Lecture Notes in Computer Science, page 368-382. Springer, (1997)Petri Nets Are (Not Only) Distributed Automata.D. de Frutos-Escrig. Carl Adam Petri: Ideas, Personality, Impact, Springer, (2019)Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems.V. Ruiz, D. de Frutos-Escrig, and F. Cuartero. PNPM, page 154-163. IEEE Computer Society, (1991)