For the most recent entries see the
Petri Nets Newsletter.
Farwer, B.
-
Farwer, Berndt;
Köhler, Michael:
Petri Net Processes for Zero-Safe Nets.
2005.
-
Farwer, Berndt;
Varea, M.:
Transforming Dual Flow Nets into Object Petri Nets.
2005.
-
Köhler, Michael;
Farwer, Berndt:
Modeling Global and Local Name Spaces for Mobile Agents Using Object Nets.
2005.
-
Farwer, Berndt;
Kudlek, Manfred:
A New Synchronisation Model for Multi-Level Object Petri Nets.
2004.
-
Farwer, Berndt;
Kudlek, Manfred:
A New Synchronisation Model for Multi-Level Object Petri Nets.
2004.
-
Farwer, Berndt;
Schradick, Daniel:
Execution and Analysis of P/T Nets and Object Petri Nets with B.
2004.
-
Köhler, Michael;
Farwer, Berndt:
Net Processes for Zero-safe Nets.
2004.
-
Farwer, B.;
Kudlek, M.:
On Synchronisation in Multi-Level Object Petri Nets.
2003.
-
Farwer, B.;
Kudlek, M.;
Misra, K.:
Some Considerations on Higher Order Petri Nets.
2003.
-
Farwer, B.;
Köhler, M.:
Mobile Object-Net Systems and their Processes.
2003.
-
Farwer, Berndt;
Misra, Kundan:
Dynamic Modification of System Structures Using LLPNs.
2003.
-
Farwer, Berndt;
Kalvala, Saraswati;
Misra, Kundan:
Controller Synthesis for Object Petri Nets.
2003.
-
Farwer, B.;
Leuschel, M.:
Model Checking Object Petri Nets in Prolog.
2003.
-
Farwer, Berndt;
Misra, Kundan:
Dynamic Modification of System Structures Using LLPNs.
2003.
-
Farwer, Berndt;
Misra, Kundan:
Modelling with hierarchical object Petri nets.
2003.
-
Farwer, B.:
Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures.
2002.
-
Farwer, B.;
Misra, K.:
Hierarchical Object Systems.
2002.
-
Stehr, M.-O.;
Farwer, B.;
Basten, T.:
Verification: Deductive and Process-Algebra-Based Methods.
2002.
-
Farwer, B.;
Kudlek, M.;
Misra, K.:
Some Considerations on Higher Order Petri Nets.
2002.
-
Farwer, Berndt;
Moldt, Daniel;
Garcia-Valles, Fernando:
An approach to modelling FMS with dynamic object petri nets.
2002.
-
Farwer, B.:
Comparing Concepts of Object Petri Net Formalisms.
2001.
-
Farwer, Berndt;
Lomazova, Irina:
A Systematic Approach towards Object-Based Petri Net Formalisms.
2001.
-
Farwer, Berndt:
Modelling Protocols by Object-Based Petri Nets.
2001.
-
Farwer, B.:
A multi-region linear logic based calculus for dynamic Petri net structures.
2000.
-
Farwer, Berndt:
Linear Logic Based Calculi for Object Petri Nets.
2000.
-
Farwer, Berndt:
Towards a Linear Logic Based Calculus for Structural Modifications of Petri Nets.
1999.
-
Farwer, Berndt:
A Linear Logic View of Object Systems.
1998.
-
Farwer, Berndt:
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems.
1998.
-
Farwer, Berndt:
Recovery and Reset in Object Petri Net with Process Markings.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography