( en | de | ru )

 

Disambiguation of "Farwer, Berndt"

Author of the publication

copydeleteadd this publication to your clipboard
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.

. Fundam. Informaticae, 43 (1-4): 61-79 (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

Berndt Farwer

Susanne Farwer

Alfward Farwer

Jochen Farwer

René Berndt

Einfluss eines diabaten Turboladermodells auf die Gesamtprozess-Simulation abgasturboaufgeladener PKW-Dieselmotoren. TU Berlin, (2009)
 

Other publications of authors with the same name

Controller Synthesis for Object Petri Nets., , and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 432-451. Springer, (2003)Comparing Concepts of Object Petri Net Formalisms.. Fundam. Informaticae, 47 (3-4): 247-258 (2001)omega-Automata.. Automata, Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer Science, page 3-20. Springer, (2001)Theoretical and experimental results on the goal-plan tree problem., , and . AAMAS (3), page 1379-1382. IFAAMAS, (2008)Model checking object petri nets in prolog., and . PPDP, page 20-31. ACM, (2004)Automated Verification of Multi-Agent Programs., , , and . ASE, page 69-78. IEEE Computer Society, (2008)Dynamic Modification of System Structures Using LLPNs., and . Ershov Memorial Conference, volume 2890 of Lecture Notes in Computer Science, page 274-293. Springer, (2003)On the (Un-)Decidability of Model Checking Resource-Bounded Agents., and . ECAI, volume 215 of Frontiers in Artificial Intelligence and Applications, page 567-572. IOS Press, (2010)A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures.. Fundam. Informaticae, 43 (1-4): 61-79 (2000)A Linear Logic View of Object Petri Nets.. Fundam. Informaticae, 37 (3): 225-246 (1999)