Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019Modeling IT Availability Risks in Smart Factories. A Stochastic Petri Nets Approach
Miehle, Daniel; Häckel, Björn; Pfosser, Stefan; Übelhör, Jochen
Zeitschriftenaufsatz
2019Modelling Availability Risks of IT Threats in Smart Factory Networks - A Modular Petri Net Approach
Berger, Stephan; Bogenreuther, Maximilan; Häckel, Björn; Niesel, Oliver
Konferenzbeitrag
2015Efficient reachability graph development for qualitive analysis of state/event fault trees
Roth, Michael; Hartoyo, Agus; Liggesmeyer, Peter
Konferenzbeitrag
2012A novel human autonomy assessment system
Munstermann, Marco; Stevens, Torsten; Luther, Wolfram
Zeitschriftenaufsatz, Konferenzbeitrag
1996Petri-Netze : Grundlagen und Anwendungen
Baumgarten, B.
Buch
1996Test case generation for ATM protocols using high-level Petri net models
Bechtold, R.; Gattung, G.; Henniger, O.; Paule, C.
Konferenzbeitrag
1993Externalizing task structures for software design purpaces
Dzida, W.
Konferenzbeitrag
1990Equivalence transformations of PrT-Nets
Genrich, H.J.
Konferenzbeitrag
1989Formalizacao da Abordagem Orientada a Objetos em Redes de Petri
Richter, G.; Teixeira da Silva, W.
Bericht
1986Analysis of stochastic Petri nets by the concept of near-complete decomposability
Giglmayr, J.
Konferenzbeitrag
1986Approaches to the traffic performance evaluation of a broadband switching control
Giglmayr, J.
Konferenzbeitrag