( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SONCraft: A Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets.

, , , , и . ACSD, стр. 70-74. IEEE Computer Society, (2018)

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.

Maciej Wojnowski

Bernd Maciej

Maciej Wiatr

Maciej Krychowiak

Maciej Dorna

 

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

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu., , , и . Fundam. Informaticae, 153 (1-2): v-vi (2017)Modelling and verification of an atomic action protocol implemented in Ada., , , , , , и . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)Causality in Structured Occurrence Nets., и . Dependable and Historic Computing, том 6875 из Lecture Notes in Computer Science, стр. 283-297. Springer, (2011)Reversible computation vs. reversibility in Petri nets., , , и . Sci. Comput. Program., (2018)A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications., , , , , и . WISE, том 11881 из Lecture Notes in Computer Science, стр. 407-423. Springer, (2019)Synthesising Elementary Net Systems with Interval Order Semantics., и . ATAED/PN4TT@Petri Nets, том 3424 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Classifying Boolean Nets for Region-based Synthesis., , , и . ART @ Petri Nets, том 725 из CEUR Workshop Proceedings, стр. 5-21. CEUR-WS.org, (2011)Verification of Communication Structured Acyclic Nets Using SAT., и . PNSE@Petri Nets, том 2907 из CEUR Workshop Proceedings, стр. 175-194. CEUR-WS.org, (2021)On Some Implementation of Optimal Simulations., и . CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 231-250. DIMACS/AMS, (1990)Towards a Petri Net Semantics for Membrane Systems., , и . Workshop on Membrane Computing, том 3850 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2005)