Fraunhofer-Gesellschaft

Publica

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