From post

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.

 

Другие публикации лиц с тем же именем

HMSCs as Partial Specifications ... with PNs as Completions., , , и . MOVEP, том 2067 из Lecture Notes in Computer Science, стр. 125-152. Springer, (2000)Reachability Games with Relaxed Energy Constraints., , и . GandALF, том 305 из EPTCS, стр. 17-33. (2019)Distributed implementation of message sequence charts., , и . Softw. Syst. Model., 14 (2): 1029-1048 (2015)Waiting Nets (Extended Version)., и . CoRR, (2022)Sessions with an Unbounded Number of Agents., , и . ACSD, стр. 166-175. IEEE Computer Society, (2014)Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics., и . Petri Nets, том 9698 из Lecture Notes in Computer Science, стр. 155-175. Springer, (2016)Robustness of Time Petri Nets under Guard Enlargement., , , и . RP, том 7550 из Lecture Notes in Computer Science, стр. 92-106. Springer, (2012)Distributed system requirement modeling with message sequence charts: the case of the RMTP2 protocol.. Inf. Softw. Technol., 45 (11): 701-714 (2003)Data Centric Workflows for Crowdsourcing., , , и . Petri Nets, том 12152 из Lecture Notes in Computer Science, стр. 24-45. Springer, (2020)Robustness of Time Petri Nets under Guard Enlargement., , , и . Fundam. Informaticae, 143 (3-4): 207-234 (2016)