| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | — | conf |
Modellierung
|
| 2025 | — | conf |
ER (Workshops)
|
| 2025 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
Modellierung
|
| 2024 | — | conf |
ISoLA (2)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | book |
|
| 2023 | J | jnl |
Int. J. Softw. Tools Technol. Transf.
|
| 2022 | C | conf |
ICSOFT
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
ISoLA (3)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
Modellierung
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
Modellierung (Workshops)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
BPM (Forum)
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
HEDA@Petri Nets
|
| 2020 | — | conf |
ISoLA (2)
|
| 2020 | J | jnl |
Enterp. Model. Inf. Syst. Archit.
|
| 2020 | J | jnl |
Inform. Spektrum
|
| 2020 | — | conf |
Modellierung
|
| 2020 | — | conf |
ESOCC Workshops
|
| 2020 | J | jnl |
CoRR
|
| 2019 | J | jnl |
Acta Informatica
|
| 2019 | — | book |
|
| 2019 | — | conf |
DEBS
|
| 2019 | — | conf |
SEAMS@ICSE
|
| 2018 | — | conf |
Models, Mindsets, Meta
|
| 2018 | — | conf |
Erlang Workshop
|
| 2018 | J | jnl |
Dagstuhl Reports
|
| 2018 | J | jnl |
Comput. Sci. Res. Dev.
|
| 2017 | J | jnl |
J. Funct. Program.
|
| 2017 | J | jnl |
Comput. Sci. Res. Dev.
|
| 2017 | J | jnl |
Computing
|
| 2016 | J | jnl |
IEEE Access
|
| 2016 | — | ch. |
Modeling in Systems Biology, The Petri Net Approach
|
| 2016 | Misc | conf |
ICTERI
|
| 2015 | B | conf |
SEFM
|
| 2015 | J | jnl |
Softw. Syst. Model.
|
| 2014 | J | jnl |
Inform. Spektrum
|
| 2014 | J | jnl |
it Inf. Technol.
|
| 2014 | J | jnl |
Inform. Spektrum
|
| 2014 | J | jnl |
Bull. EATCS
|
| 2013 | J | jnl |
Trans. Petri Nets Other Model. Concurr.
|
| 2013 | J | jnl |
Softw. Syst. Model.
|
| 2013 | J | jnl |
Trans. Petri Nets Other Model. Concurr.
|
| 2013 | — | book |
|
| 2012 | — | conf |
Software Service and Application Engineering
|
| 2012 | — | conf |
PNSE
|
| 2011 | — | book |
|
| 2010 | — | conf |
Modellierung
|
| 2010 | — | ed. |
Fields of Logic and Computation
|
| 2010 | — | conf |
Fields of Logic and Computation
|
| 2009 | — | conf |
Rigorous Methods for Software Construction and Analysis
|
| 2009 | B | conf |
Petri Nets
|
| 2008 | — | ed. |
Modellierung
|
| 2008 | J | jnl |
Scholarpedia
|
| 2008 | — | conf |
Pillars of Computer Science
|
| 2008 | J | jnl |
Theor. Comput. Sci.
|
| 2008 | — | conf |
UNISCON
|
| 2007 | B | conf |
CALCO
|
| 2007 | — | conf |
WS-FM
|
| 2007 | J | jnl |
ERCIM News
|
| 2007 | — | conf |
Formal Methods and Hybrid Real-Time Systems
|
| 2007 | J | jnl |
Fundam. Informaticae
|
| 2007 | J | jnl |
Int. J. Bus. Process. Integr. Manag.
|
| 2006 | — | conf |
The Role of Business Processes in Service Oriented Architectures
|
| 2006 | C | conf |
ISoLA
|
| 2006 | — | conf |
ICATPN
|
| 2006 | — | conf |
ICATPN
|
| 2006 | — | ed. |
The Role of Business Processes in Service Oriented Architectures
|
| 2005 | — | conf |
Abstract State Machines
|
| 2005 | — | conf |
ACSD
|
| 2005 | J | jnl |
Inform. Forsch. Entwickl.
|
| 2005 | — | conf |
FMOODS
|
| 2005 | — | conf |
ICATPN
|
| 2004 | — | ed. |
ICATPN
|
| 2004 | C | conf |
TIME
|
| 2004 | — | ed. |
Lectures on Concurrency and Petri Nets
|
| 2004 | — | conf |
Modellierung
|
| 2003 | — | conf |
ACSD
|
| 2003 | J | jnl |
Acta Informatica
|
| 2003 | — | ed. |
Petri Net Technology for Communication-Based Systems
|
| 2003 | — | conf |
Abstract State Machines
|
| 2003 | J | jnl |
Comput. Artif. Intell.
|
| 2003 | — | conf |
Petri Net Technology for Communication-Based Systems
|
| 2003 | — | conf |
Euro-Par
|
| 2002 | — | conf |
GI Jahrestagung
|
| 2000 | A | conf |
Business Process Management
|
| 2000 | — | conf |
WMP
|
| 2000 | — | conf |
Abstract State Machines
|
| 1998 | B | conf |
SMC
|
| 1998 | — | book |
Elements of distributed algorithms: modeling and analysis with Petri nets
|
| 1998 | B | ed. |
Petri Nets
|
| 1998 | — | ed. |
Petri Nets (2)
|
| 1997 | J | jnl |
Bull. EATCS
|
| 1997 | J | jnl |
Formal Aspects Comput.
|
| 1997 | — | conf |
Foundations of Computer Science: Potential - Theory - Cognition
|
| 1996 | — | ed. |
Application and Theory of Petri Nets
|
| 1996 | — | conf |
Petri Nets (2)
|
| 1996 | B | conf |
Petri Nets
|
| 1996 | — | conf |
Partial Order Methods in Verification
|
| 1996 | B | conf |
CONCUR
|
| 1996 | B | conf |
Petri Nets
|
| 1996 | J | jnl |
Acta Informatica
|
| 1995 | — | ch. |
Computer Science Today
|
| 1994 | — | conf |
Dagstuhl Seminar on Distributed Systems
|
| 1993 | A | conf |
STACS
|
| 1992 | — | book |
A primer in Petri net design.
|
| 1992 | — | conf |
Application and Theory of Petri Nets
|
| 1992 | J | jnl |
Forschungsberichte, TU Munich
|
| 1992 | J | jnl |
Forschungsberichte, TU Munich
|
| 1991 | J | jnl |
Forschungsberichte, TU Munich
|
| 1991 | J | jnl |
Theor. Comput. Sci.
|
| 1990 | — | conf |
Applications and Theory of Petri Nets
|
| 1988 | J | jnl |
Bull. EATCS
|
| 1988 | — | conf |
Concurrency
|
| 1988 | — | conf |
REX Workshop
|
| 1987 | — | book |
Das Verhalten verteilter Systeme.
|
| 1987 | — | ed. |
Advances in Petri Nets
|
| 1987 | — | ed. |
Advances in Petri Nets
|
| 1986 | — | conf |
European Workshop on Applications and Theory of Petri Nets
|
| 1986 | — | conf |
European Workshop on Applications and Theory of Petri Nets
|
| 1986 | — | conf |
Embedded Systems
|
| 1986 | — | conf |
Advances in Petri Nets
|
| 1986 | — | book |
Petrinetze, Eine Einführung, 2. Auflage
|
| 1986 | — | conf |
Advances in Petri Nets
|
| 1985 | J | jnl |
Theor. Comput. Sci.
|
| 1985 | — | book |
|
| 1985 | — | book |
Systementwurf mit Netzen
|
| 1984 | — | conf |
European Workshop on Applications and Theory in Petri Nets
|
| 1984 | A* | conf |
ICALP
|
| 1984 | J | jnl |
Inform. Spektrum
|
| 1983 | A* | conf |
ICALP
|
| 1983 | A | conf |
Requirements Engineering
|
| 1983 | J | jnl |
Inf. Control.
|
| 1982 | — | ed. |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1982 | J | jnl |
Acta Informatica
|
| 1982 | — | conf |
European Workshop on Applications and Theory of Petri Nets
|
| 1982 | — | book |
Petrinetze, Eine Einführung
|
| 1981 | — | conf |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1981 | — | conf |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1981 | — | conf |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1981 | — | conf |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
|
| 1980 | B | conf |
WG
|
| 1980 | B | conf |
MFCS
|
| 1979 | J | jnl |
Inf. Process. Lett.
|
| 1979 | — | conf |
Formale Modelle für Informationssysteme
|