( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Classifying Boolean Nets for Region-based Synthesis.

, , , и . ART @ Petri Nets, том 725 из CEUR Workshop Proceedings, стр. 5-21. CEUR-WS.org, (2011)

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.

Sabine Pietkiewicz

Fares Martak

Martarizal

Hans Martan

Thomas Martau

 

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

Synthesis Problem for Petri Nets with Localities., и . Trans. Petri Nets Other Model. Concurr., (2012)On the Models for Asynchronous Circuit Behaviour with OR Causality., , , , и . Formal Methods Syst. Des., 9 (3): 189-233 (1996)Synthesis of Petri Nets with Localities., и . Sci. Ann. Comput. Sci., (2009)Applying regions., , , и . Theor. Comput. Sci., (2017)Persistent and Nonviolent Steps and the Design of GALS Systems., , , , , и . Fundam. Informaticae, 137 (1): 143-170 (2015)Membrane Systems and Petri Net Synthesis, , , и . MeCBIC, том 100 из EPTCS, стр. 1-13. (2012)Algorithms for the Synthesis of Elementary Net Systems with Localities., и . PNSE@Petri Nets, том 2651 из CEUR Workshop Proceedings, стр. 86-107. CEUR-WS.org, (2020)Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.. ACSD, стр. 245-254. IEEE Computer Society, (2001)Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities., , и . Sci. Ann. Comput. Sci., 27 (2): 177-212 (2017)Minimal Regions of ENL-Transition Systems., и . Fundam. Informaticae, 101 (1-2): 45-58 (2010)