Related Research Articles
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements, places and transitions, depicted as white circles and rectangles, respectively. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes.
Carl Adam Petri was a German mathematician and computer scientist.
ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics.
Hermann Duckek was a German farmer and riding-master who built equestrian arenas throughout the World. His attention to detail and performance excellence won him the title “Duke of Dirt” - in German, “Bodenpapst”. From the foundation of the "International Dressage Trainer Club" in 1986 until his death, he was the president of this club.
DLT, the International Conference on Developments in Language Theory is an academic conference in the field of computer science held annually under the auspices of the European Association for Theoretical Computer Science. Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer Lecture Notes in Computer Science. Extended versions of selected papers of each year's conference appear in international journals, such as Theoretical Computer Science and International Journal of Foundations of Computer Science.
The International Symposium on Distributed Computing (DISC) is an annual academic conference for refereed presentations, whose focus is the theory, design, analysis, implementation, and application of distributed systems and networks. The Symposium is organized in association with the European Association for Theoretical Computer Science (EATCS).
Michael Elmgreen and Ingar Dragset have worked together as an artist duo since 1995. Their work explores the relationship between art, architecture and design.
The Association Computability in Europe (ACiE) is an international organization of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world. CiE aims to widen understanding and appreciation of the importance of the concepts and techniques of computability theory, and to support the development of a vibrant multi-disciplinary community of researchers focused on computability-related topics. The ACiE positions itself at the interface between applied and fundamental research, prioritising mathematical approaches to computational barriers.
Willibrordus Martinus Pancratius van der Aalst is a Dutch computer scientist and full professor at RWTH Aachen University, leading the Process and Data Science (PADS) group. His research and teaching interests include information systems, workflow management, Petri nets, process mining, specification languages, and simulation. He is also known for his work on workflow patterns.
Grzegorz Rozenberg is a Polish and Dutch computer scientist.
The International Conference on Autonomous Agents and Multiagent Systems or AAMAS is the leading scientific conference for research in the areas of artificial intelligence, autonomous agents, and multiagent systems. It is annually organized by a non-profit organization called the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).
The International Academy of Medical and Biological Engineering (IAMBE) is a non-profit society of distinguished scholars engaged in medical and biological engineering research to further the field of biomedical engineering or bioengineering. The Academy is composed of Fellows who have made significant contributions to and played leadership roles in the field of medical and biological engineering. The Academy is affiliated with the International Federation for Medical and Biological Engineering (IFMBE), an international organization consisting of more than 60 national and transnational societies of biomedical engineering, representing over 120,000 members.
RP, the International Conference on Reachability Problems is an annual academic conference in the field of computer science.
Rüdiger Valk is a German mathematician. From 1976 to 2010 he was Professor for Theoretical Computer Science (Informatics) at the Institut für Informatik of the University of Hamburg, Germany.
International Workshop on Operator Theory and its Applications (IWOTA) was started in 1981 to bring together mathematicians and engineers working in operator theoretic side of functional analysis and its applications to related fields. These include:
The International Conference on Concurrency Theory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency and its applications. It is the flagship conference for concurrency theory according to the International Federation for Information Processing Working Group on Concurrency Theory. The conference is organised annually since 1988. Since 2015, papers presented at CONCUR are published in the LIPIcs–Leibniz International Proceedings in Informatics, a "series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl –Leibniz Center for Informatics". Before, CONCUR papers were published in the series Lecture Notes in Computer Science.
Mengchu Zhou is a Chinese-American Distinguished Professor of electrical and computer engineering in the Helen and John C. Hartmann Dept. of Electrical and Computer Engineering at New Jersey Institute of Technology (NJIT) and at Macau University of Science and Technology. He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), a Fellow of the International Federation of Automatic Control (IFAC), a Fellow of the American Association for the Advancement of Science (AAAS) and a Fellow of the Chinese Association of Automation (CAA).
Elvira Mayordomo Cámara is a Spanish computer scientist specialising in Theory of Computation. She is professor at the University of Zaragoza and currently the President of the Association Computability in Europe.
References
- ↑ Girault, Claude; Reisig, Wolfgang, eds. (1982). Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets Strasbourg, 23.–26. September 1980 Bad Honnef, 28.–30. September 1981. Informatik-Fachberichte. 52. Springer.
- ↑ Guidelines for Programme Committees and Organising Committees (updated 2011), explaining the organization of the conference.
