( en | de | ru )

 

Disambiguierung von "Pietkiewicz-Koutny, Marta"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Classifying Boolean Nets for Region-based Synthesis.

, , , und . ART @ Petri Nets, Volume 725 von CEUR Workshop Proceedings, Seite 5-21. CEUR-WS.org, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sabine Pietkiewicz

Fares Martak

Martarizal

Thomas Martau

Hans Martan

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis Problem for Petri Nets with Localities., und . Trans. Petri Nets Other Model. Concurr., (2012)On the Models for Asynchronous Circuit Behaviour with OR Causality., , , , und . Formal Methods Syst. Des., 9 (3): 189-233 (1996)Applying regions., , , und . Theor. Comput. Sci., (2017)Synthesis of Petri Nets with Localities., und . Sci. Ann. Comput. Sci., (2009)Persistent and Nonviolent Steps and the Design of GALS Systems., , , , , und . Fundam. Informaticae, 137 (1): 143-170 (2015)Algorithms for the Synthesis of Elementary Net Systems with Localities., und . PNSE@Petri Nets, Volume 2651 von CEUR Workshop Proceedings, Seite 86-107. CEUR-WS.org, (2020)Membrane Systems and Petri Net Synthesis, , , und . MeCBIC, Volume 100 von EPTCS, Seite 1-13. (2012)Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.. ACSD, Seite 245-254. IEEE Computer Society, (2001)Synthesis of Nets with Step Firing Policies., , , und . Petri Nets, Volume 5062 von Lecture Notes in Computer Science, Seite 112-131. Springer, (2008)Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities., , und . Sci. Ann. Comput. Sci., 27 (2): 177-212 (2017)