At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are intertwined we realize that there are many possible ways in which time and Petri nets interact. Th…
No Inv.: 66145-66149/P/00/5c~74686-74670/P/01/5c
No Inv.: 25165-25169/P/00/5c
No Inv.: 66515-66524/P/00/10c
No Inv.: 348-349/P/00/2c
Search games and rendezvous problems have received growing attention in computer science within the past few years. Rendezvous problems emerge naturally, for instance, to optimize performance and convergence of mobile robots. This gives a new algorithmic point of view to the theory. Furthermore, modern topics such as the spreading of gossip or disease in social networks have lead to new challe…
No Inv.: 74711-74715/P/01/5c
No Inv.: 42965,42893/01/1c
No Inv.: 42963/01/1c
No Inv.: 46138/01/1c