Rüdiger Valk
Rüdiger Valk (5 de agosto de 1945) é um matemático alemão. Foi de 1976 a 2010 professor de informática no Institut für Informatik (depois Fachbereich Informatik) na Universidade de Hamburgo, Alemanha.[1]
| Rüdiger Valk | |
|---|---|
| Nascimento | 5 de agosto de 1945 (78 anos) |
| Cidadania | Alemanha |
| Alma mater | |
| Ocupação | matemático, cientista de computação |
| Empregador(a) | Universidade de Hamburgo |
Valk estudou matemática na Universidade de Bonn. Supervisionado por Wilfried Brauer, continuou estudando na pós-graduação em Bonn, obtendo um doutorado matemática em 1974. Em 1976 foi professor de ciência da computação teórica (informática). De 1985 a 2010 foi chefe do grupo de pesquisas sobre fundamentações teóricas da ciência da computação (Theoretische Grundlagen der Informatik, TGI) na Universidade de Hamburgo.[1]
Carreira editar
Sua pesquisa inicial é caracterizada por trabalhos em autômatos e sistemas topológicos,[2][3][4] problemas de decisão[5][6][7] e propriedades estruturais de redes de Petri.[8][9][10]
Publicou artigos em conferências e periódicos[11][12] bem como livros didáticos.[13][14]
Sua carreira posterior foi dedicada ao paradigma Object Petri Nets e as Nets within Nets; ou seja, a ideia de usar redes de Petri como tokens dentro das redes de Petri.[15][16][17][18][19]
Durante um período considerável de sua carreira de pesquisador, Rüdiger Valk trabalhou em estreita colaboração com Carl Adam Petri, o inventor das redes de Petri, que ocupou um cargo de professor honorário na Universidade de Hamburgo.
Além disso, Valk contribuiu para o debate de como os computadores afetam a sociedade,[20] como a informática deve ser vista como uma disciplina científica[21] e empreendeu pesquisas interdisciplinares sobre modelos de sociologia e a disciplina derivada da sociônica como uma interseção da sociologia e da informática.[22][23][24]
Referências
- ↑ a b Página pessoal na Universidade de Hamburgo
- ↑ Discrete and Continuous Realizations of General Time Systems. In: Journal of Cybernetics. 4 (1974) 4, pp. 43–52.
- ↑ On Some Elementary Properties of Uniform Automata. In: Revue Française d' Automatique Informatique Recherche Opérationnelle. 9 (1975), R-2, pp. 39–54.
- ↑ Realisierungen allgemeiner Systeme. Bericht Nr. 107, Gesellschaft für Mathematik und Datenverarbeitung Bonn, 1976.
- ↑ Self-modifying Nets, a Natural Extension of Petri Nets. Automata Languages and Programming. Colloquium, Udine In: Lecture Notes in Computer Science. No. 62, Berlin, pp. 464–476.
- ↑ Petri Nets and Regular Languages. In: Journal of Computer and System Science. 23, (1981) 3, pp. 299–325. (with Guy Vidal-Naquet)
- ↑ The Residue of Vector Sets with Applications to Decidability Problems in Petri Nets. In: Acta Informatika. 21 (1985), pp. 643–674. (mit M. Jantzen)
- ↑ Infinitive Behaviour of Petri Nets. In: Theoretical Computer Science. 25 (1983), pp. 311–341.
- ↑ Safe States in Banker-like Resource Allocation Problems. In: Information and Computation. 75 (1987), pp. 232–263. (with D. Hauschildt)
- ↑ Bridging the Gap Between Floyd- and S-Invariants. In: Ajmone Marson M. (Ed.): Application and Theory of Petri Nets. Chicago, USA, Lecture Notes in Computer Science No. 691, Springer, Berlin Juni 1993, pp. 433–453.
- ↑ Modelling Concurrency by Task/Flow EN Systems. Proceedings 3rd Workshop on Concurrency and Compositionality. GMD-Studien Nr. 191, Gesellschaft f. Mathematik und Datenverarbeitung, St. Augustin, Bonn, 1991.
- ↑ Polynomial deadlock avoidance method for a class of nonsequential resource allocation systems. IEEE Transactions on Systems. In: Man, and Cybernetics - Part A: Systems and Humans. 36(6), 2006. (with Joaquín Ezpeleta)
- ↑ Rechensysteme. Springer Verlag. Lehrbuch. Berlin 1987, ISBN 3-540-16383-2. (with E. Jessen)
- ↑ Petri Nets for System Engineering - A Guide to Modelling, Verification, and Applications. Springer, Berlin, 2003 (Ed. with C. Girault), ISBN 3-540-41217-4.
- ↑ Petri Nets as Token Objects - An Introduction to Elementary Object Nets. In: J. Desel, M. Silva (Eds.): Proc. Application and Theory of Petri Nets. Lisbon, Portugal In: Lecture Notes in Computer Science. Nr. 1420, Springer, Berlin 1998, pp. 1–25.
- ↑ Reference and Value Semantics for Object Petri Nets. In: H. Weber, H. Ehrig, W. Reisig (Eds.): Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Fraunhofer Institute for Software and Systems Engineering ISST, Berlin 1999.
- ↑ Mobile and Distributed Object versus Central Referencing. In: J. Grabowski, St. Heymer (Eds.): Formale Beschreibungstechniken für verteilte Systeme. FBT’2000, 10. GI/ITG-Fachgespräch, Lübeck, June 2000, pp. 7–27.
- ↑ Concurrency in Communicating Object Petri Nets. In: G. Agha, F. De Cindio, G. Rozenberg (Hrsg.): Concurrent Object-Oriented Programming and Petri Nets. In: Lecture Notes in Computer Science. Springer, Berlin 2001, pp. 158–189.
- ↑ Using the Nets-within-Nets Paradigm, Proceedings of the Advanced Course on Petri Nets 2003. Eichstätt, Germany. Lecture Notes in Computer Science, Springer-Verlag, 2004.
- ↑ Der Computer als Herausforderung an die menschliche Rationalität. In: Informatik-Spektrum. 10 (1987), pp. 57–66.
- ↑ Die Informatik zwischen Formal- und Humanwissenschaften. In: Informatik Spektrum. 20/2, Springer-Verlag, Berlin April 1997, pp. 95–100.
- ↑ Sozionik: Modellierung soziologischer Theorie. (Wirtschaft - Arbeit - Technik, Volume 2). Lit-Verlag, Münster/ Hamburg/ London 2003, ISBN 3-8258-5980-0. (with Rolf v. Lüde, Daniel Moldt)
- ↑ Socionic multi-agent systems based on reflexive petri nets and theories of social self-organisation. In: Journal of Artificial Societies and Social Simulation. 10(1), 2007. (with Michael Köhler, Roman Langer, Rolf von Lüde, Daniel Moldt, Heiko Rölke) (online at: jasss.soc.surrey.ac.uk)
- ↑ Selbstorganisation und Governance in künstlichen und sozialen Systemen. (Wirtschaft - Arbeit - Technik, Band 5). Lit-Verlag, Münster/ Hamburg/ London 2009, ISBN 978-3-643-10057-3. (with Rolf v. Lüde, Daniel Moldt, Eds.)