Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Execution and evaluation of enterprise models in IEM/MO2GO based on Petri net
Jin, Guangying; Jäkel, Frank-Walter
Journal Article
2011Automatic human autonomy assessment system
Munstermann, Marco; Luther, Wolfram
Conference Paper
2009Architecture compliance checking at run-time
Ganesan, Dharmalingam; Keuler, Thorsten; Nishimura, Yutaro
Journal Article
2009Architecture compliance checking at run-time
Ganesan, Dharmalingam; Keuler, Thorsten; Nishimura, Yutaro
Report
2008Architecture compliance checking at runtime: An industry experience report
Ganesan, Dharmalingam; Keuler, Thorsten; Nishimura, Yutaro
Report
2008Architecture compliance checking at runtime: An industry experience report
Ganesan, Dharmalingam; Keuler, Thorsten; Nishimura, Yutaro
Conference Paper
2006Increased efficiency in the quantitative evaluation of state/event fault trees
Förster, M.; Kaiser, B.
Conference Paper
2006Modeling and execution of complex attack scenarios using interval timed colored petri nets
Dahl, O.M.; Wolthusen, S.
Conference Paper
2005Extending the expressive power of fault trees
Kaiser, B.
Conference Paper
2004The grid job builder - visual modelling of grid jobs using petri nets
Jung, C.; Herdt, E.; Noll, S.
Journal Article
1998Distributed algorithms for networks of agents
Reisig, W.; Kindler, E.; Vesper, T.; Völzer, H.; Walter, R.
Book Article
1998Petri net based modelling, planning and control of logistical processes under environmental goals and constraints
Bullinger, H.-J.; Steinaecker, J. von
Conference Paper
1997The asynchronous stack revisited
Walter, R.
Book Article
1997Building distributed, scalable, dependable real-time systems
Ravindran, B.; Welch, L.R.; Kelling, C.
Conference Paper
1997DAWN: Petrinetzmodelle zur Verifikation verteilter Algorithmen
Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.
Book
1997Invariantenverifikation in DAWN
Völzer, H.; Walter, R.
Conference Paper
1997Modelling and verification with petri nets: Comparing a state oriented and event oriented approach
Mackenthun, R.; Voorhoeve, M.
Conference Paper
1997Mutex needs fairness
Kindler, E.; Walter, R.
Journal Article
1997Petri net based verification of distributed algorithms
Kindler, E.; Reisig, W.; Völzer, H.; Walter, R.
Journal Article
1996Exception handling in petri-net-based workflow management
Faustmann, G.; Wikarski, D.
Conference Paper
1996An introduction to modular process nets
Wikarski, D.
Book
1996Management of workflow resources to support runtime adaptibility and system evolution
Wikarski, D.; Han, Y.; Himmighöfer, J.; Schaaf, T.
Conference Paper
1996Petri net tools
Wikarski, D.
Book
1996Requirements on petri net technique from point of view of system development process
Borusan, A.
Conference Paper
1995Higher-Order object nets and their application to workflow modeling
Löwe, M.; Wikarski, D.; Han, Y.
Book
1995On the application of markovian object nets to integrated qualitative and quantitative software analysis
Wikarski, D.; Heiner, M.
Book
1994An approach to Petri net based integration of qualitative and quantitative analysis of parallel systems
Wikarski, D.; Heiner, M.
Book
1994A modular verification of complex real-time systems
Borusan, A.
Conference Paper
1994A Petri net based methodology to integrate qualitative and quantitative analysis
Wikarski, D.
Journal Article
1994A petri net based modelling technology for manufacturing system engineering
Borusan, A.
Conference Paper
1993Further remarks on the relationship between C-E structures and Petri nets
Wikarski, D.
Conference Paper
1993Locally Markovian object nets - the conceptual model
Wikarski, D.
Conference Paper
1993A Petri Net based tool kit to integrate qualitative and quantitative analysis
Wikarski, D.; Heiner, M.; Ventre, G.
Conference Paper
1993Toward a rigorous interpretation of ESML-extended systems modeling language
Richter, G.; Maffeo, B.
Journal Article
1992Entwicklungssystem zur schnellen Umsetzung von Petri-Netz Modellen in eine Software-Realisierung
Grinewitschus, V.; Quäck, L.; Scherer, K.
Conference Paper
1990Architecture and functionality of a specification environment for distributed software
Krämer, B.; Schmidt, H.-W.
Conference Paper
1989Modular simulation model of robot cells
Cho, H.S.; Warnecke, H.-J.; Kuk, K.-H.
Conference Paper
1986Approaches to the traffic performance evaluation of a broadband switching control
Giglmayr, J.
Conference Paper
1986A Petri net approach to the control unit of a broadband switching system
Gigimayr, J.
Journal Article