Fraunhofer-Gesellschaft

Publica

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