OPUS 4 | Search

A guide to modelling and control with modules of signal nets (2004)

Desel, Jörg ; Hanisch, Hans-Michael ; Juhás, Gabriel ; Lorenz, Robert ; Neumair, Christian

Can I execute my scenario in your net? (2005)

Juhás, Gabriel ; Lorenz, Robert ; Desel, Jörg

Can I execute my scenario in your net? VipTool tells you! (2006)

Bergenthum, Robin ; Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Construction of process models from example runs (2009)

Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian ; Lorenz, Robert

Executability of scenarios in Petri nets (2009)

Lorenz, Robert ; Juhás, Gabriel ; Bergenthum, Robin ; Desel, Jörg ; Mauser, Sebastian

Modellierung und Steuerungsentwurf mit Signalnetz-Systemen (2004)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Modellierung von Steuerungssystemen mit Signal-Petrinetzen - eine Fallstudie aus der Automobilindustrie (2003)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert ; Milijic, Vesna ; Neumair, Christian ; Schieber, Rainer

Modellierung, Komposition, Semantik, Verhalten (2003)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert ; Neumair, Christian

Modelling and validation with VipTool (2003)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert ; Neumair, Christian

Modelling with Petri modules: composition preserving equivalence (2001)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Models from scenarios (2013)

Lorenz, Robert ; Desel, Jörg ; Juhás, Gabriel

Petri nets over partial algebra (2001)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Process mining based on regions of languages (2007)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian

Process semantics and process equivalence of NCEM (2000)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Process semantics of Petri nets over partial algebra (2000)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Relating axiomatic and operational semantics of place/transition nets: from process terms to partial orders (2003)

Desel, Jörg ; Juhás, Gabriel ; Lorenz, Robert

Synthesis of Petri nets from finite partial languages (2007)

Lorenz, Robert ; Bergenthum, Robin ; Desel, Jorg ; Mauser, Sebastian

Synthesis of Petri nets from finite partial languages (2008)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian

Synthesis of Petri nets from infinite partial languages (2008)

Bergenthum, Robin ; Desel, Jorg ; Lorenz, Robert ; Mauser, Sebastian

Synthesis of Petri nets from scenarios with VipTool (2008)

Bergenthum, Robin ; Desel, Jörg ; Lorenz, Robert ; Mauser, Sebastian

Author(s)
Title
Additional Person(s)
Referee(s)
Abstract
Fulltext

Open Access

Refine

Has Fulltext

Author

Year of publication

Document Type

Language

Keywords

Institute

25 search hits