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