Author of the publication

A High Level Net Language for Stepwise Modeling of Organizational Systems.

, and . International Working Conference on Model Realism, page 156-170. (1982)

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.

 

Other publications of authors with the same name

Deriving CORBA Applications from Formal Specifications., , , and . Journal of Systems Integration, 8 (2): 143-158 (1998)Design Patterns for Synchronization Adapters of Corba Objects., and . L'OBJET, (2000)Backward Inference in Bayesian Networks for Distributed Systems Management., , , and . J. Network Syst. Manage., 13 (4): 409-427 (2005)A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL., and . ASE, page 63-. IEEE Computer Society, (1998)A High Level Net Language for Stepwise Modeling of Organizational Systems., and . International Working Conference on Model Realism, page 156-170. (1982)3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML., , and . SimVis, page 19-32. SCS Publishing House e.V., (1999)Enforcing management policies in distributed systems., , and . FTDCS, page 474-480. IEEE Computer Society, (1995)Stepwise construction of non-sequential software systems using a net-based specification language.. European Workshop on Applications and Theory in Petri Nets, volume 188 of Lecture Notes in Computer Science, page 307-330. Springer, (1984)Formally Verified Firmware Modules for Industrial Process Automation., , and . SAFECOMP, page 206-218. Springer, (1995)Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems.. Technical University of Berlin, Germany, (1989)