C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AWPN
1999
2003
2006
2010
1999
2010
Keyphrases
Publications
2010
Harro Wimmel
Optimised Calculation of Symmetries for State Space Reduction.
AWPN
(2010)
Mary Ann Blätke
,
Wolfgang Marwan
Modular and Hierarchical Modelling Concept for Large Biological Petri Nets Applied to Nociception.
AWPN
(2010)
Martin Schwarick
IDD-MC - A Model Checker for Bounded Stochastic Petri nets.
AWPN
(2010)
Kathrin Kaschner
Managing Test Suites for Services.
AWPN
(2010)
Christian Rohr
Simulative CSL model checking of Stochastic Petri nets in IDD-MC.
AWPN
(2010)
Richard Müller
On the Notion of Deadlocks in Open Nets.
AWPN
(2010)
Karsten Wolf
Decidability Issues for Decentralized Controllability of Open Nets.
AWPN
(2010)
Nils Erik Flick
,
Lawrence Cabac
,
Nicolas Denz
,
Daniel Moldt
Re-Thinking Process Mining with Agents in Mind.
AWPN
(2010)
Harro Wimmel
,
Karsten Wolf
Reachability Analysis via Net Structure.
AWPN
(2010)
Fei Liu
,
Monika Heiner
Computation of Enabled Transition Instances for Colored Petri Nets.
AWPN
(2010)
Niels Lohmann
,
Stephan Mennicke
,
Christian Sura
The Petri Net API A Collection of Petri Net-related Functions.
AWPN
(2010)
Christoph Wagner
Partner datenverarbeitender Services.
AWPN
(2010)
Dmitry Zaitsev
Universal Inhibitor Petri Net.
AWPN
(2010)
Christoph Schneider
,
Joachim Wehler
Embedding the Free-choice Semantics of AND/XOR-EPCs into the Boolean Semantics.
AWPN
(2010)
Jochen Simon
,
Daniel Moldt
PyTri, a Visual Agent Programming Language.
AWPN
(2010)
Kolja Markwardt
,
Daniel Moldt
Helper Agents as a Means of Structuring Multi-Agent Applications.
AWPN
(2010)
Mostafa Herajy
,
Monika Heiner
Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions.
AWPN
(2010)
Christian Gierds
,
Niels Lohmann
A Graphical User Interface for Service Adaptation.
AWPN
(2010)
Robert Prüfer
On Optimizing the Sweep-Line Method.
AWPN
(2010)
volume 643, 2010
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, Cottbus, Germany, October 07-08, 2010
AWPN
643 (2010)
2008
Karsten Wolf
On Synthesizing Behavior that Is Aware of Semantical Constraints.
AWPN
(2008)
Martin Schwarick
Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams.
AWPN
(2008)
Christian Stahl
,
Karsten Wolf
An Approach to Tackle Livelock-Freedom in SOA.
AWPN
(2008)
Peter Massuthe
,
Daniela Weinberg
Fiona: A Tool to Analyze Interacting Open Nets.
AWPN
(2008)
Lawrence Cabac
,
Jan Schlüter
ImageNetDiff: A Visual Aid to Support the Discovery of Differences in Petri Nets.
AWPN
(2008)
Matthias Wester-Ebbinghaus
,
Daniel Moldt
A Janus-Faced Net Component for the Prototyping of Open Systems.
AWPN
(2008)
Dirk Fahland
Oclets - Scenario-Based Modeling with Petri Nets.
AWPN
(2008)
Kolja Markwardt
,
Daniel Moldt
,
Jan Ortmann
Proposal for Editing Workflows in a Distributed Software Development Environment.
AWPN
(2008)
Robin Bergenthum
,
Sebastian Mauser
Synthesis of Petri Nets from Infinite Partial Languages with VipTool.
AWPN
(2008)
Niels Lohmann
Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts.
AWPN
(2008)
Daniel Martin
,
Daniel Wutke
,
Frank Leymann
EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment.
AWPN
(2008)
Christian Gierds
Finding Cost-Efficient Adapters.
AWPN
(2008)
Andreas Eckleder
,
Thomas Freytag
WoPeD 2.0 goes BPEL 2.0.
AWPN
(2008)
Markus Huber
,
Christian Kölbl
,
Robert Lorenz
,
Günther Wirsching
Ein Petrinetz-Modell zur Informationsübertragung per Dialog.
AWPN
(2008)
Robert Lorenz
Towards Synthesis of Petri Nets from General Partial Languages.
AWPN
(2008)
Jan Schlüter
,
Lawrence Cabac
,
Daniel Moldt
Adding Runtime Net Manipulation Features to MulanViewer.
AWPN
(2008)
volume 380, 2008
15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings
AWPN
380 (2008)
volume 26, 2000
6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999
AWPN
26 (2000)
1999
Michael Weber
Der Petrinetz-Würfel im Petrinetz-Kern.
AWPN
(1999)
Nasreddine Aoumeur
,
Stefan Conrad
,
Gunter Saake
Prototyping Object Specifications Using the CO-Nets Approach.
AWPN
(1999)
Rudolf J. Kruse
,
Kurt Lautenbach
Constraint Satisfaction mit Petri-Netzen.
AWPN
(1999)
Olaf Kummer
Tight Integration of Java and Petri Nets.
AWPN
(1999)
Karsten Schmidt
LoLA wird Pfadfinder.
AWPN
(1999)
Thomas Freytag
Ablaufvisualisierung durch topologisch angeordnete Kausalnetze.
AWPN
(1999)
Stephan Philippi
OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung.
AWPN
(1999)
Christoph Schneider
,
Joachim Wehler
Potential reachability in commutative nets.
AWPN
(1999)
Nicolas Schiller
Das Erreichbarkeitsproblem für Stetige Petri-Netze ist entscheidbar.
AWPN
(1999)
Ferucio Laurentiu Tiplea
,
Jörg Desel
Petri Net Process Decomposition with Application to Validation.
AWPN
(1999)