share record
persistent URL:
Peter Massuthe , Daniela Weinberg : Fiona: A Tool to Analyze Interacting Open Nets. AWPN 2008 : 99-104 share record
persistent URL:
Jan Schlüter , Lawrence Cabac , Daniel Moldt : Adding Runtime Net Manipulation Features to MulanViewer. AWPN 2008 : 87-92 share record
persistent URL:
Martin Schwarick : Transient Analysis of Stochastic Petri Nets With Interval Decision Diagrams. AWPN 2008 : 43-48 share record
persistent URL:
Christian Stahl , Karsten Wolf : An Approach to Tackle Livelock-Freedom in SOA. AWPN 2008 : 69-74 export record
dblp key:
conf/awpn/Wester-EbbinghausM08 share record
persistent URL:
Matthias Wester-Ebbinghaus , Daniel Moldt : A Janus-Faced Net Component for the Prototyping of Open Systems. AWPN 2008 : 25-30 share record
persistent URL:
Karsten Wolf : On Synthesizing Behavior that Is Aware of Semantical Constraints. AWPN 2008 : 49-54 share record
persistent URL:
Niels Lohmann , Karsten Wolf : 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. CEUR Workshop Proceedings 380, CEUR-WS.org 2008 [contents] 2000 share record
persistent URL:
Jörg Desel , Andreas Oberweis : 6. Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN'99), Frankfurt, Germany, October 11. - 12., 1999. CEUR Workshop Proceedings 26, CEUR-WS.org 2000 [contents] 1999 share record
persistent URL:
Nasreddine Aoumeur , Stefan Conrad , Gunter Saake : Prototyping Object Specifications Using the CO-Nets Approach. AWPN 1999 share record
persistent URL:
Thomas Freytag : Ablaufvisualisierung durch topologisch angeordnete Kausalnetze. AWPN 1999 share record
persistent URL:
Rudolf J. Kruse , Kurt Lautenbach : Constraint Satisfaction mit Petri-Netzen. AWPN 1999 share record
persistent URL:
Olaf Kummer : Tight Integration of Java and Petri Nets. AWPN 1999 share record
persistent URL:
Stephan Philippi : OOPr/T-Modelle - ein Pr/T-Netz basierter Ansatz zur objektorientierten Modellierung. AWPN 1999 share record
persistent URL:
Nicolas Schiller : Das Erreichbarkeitsproblem für Stetige Petri-Netze ist entscheidbar. AWPN 1999 share record
persistent URL:
Karsten Schmidt : LoLA wird Pfadfinder. AWPN 1999 share record
persistent URL:
Christoph Schneider , Joachim Wehler : Potential reachability in commutative nets. AWPN 1999 share record
persistent URL:
Ferucio Laurentiu Tiplea , Jörg Desel : Petri Net Process Decomposition with Application to Validation. AWPN 1999 share record
persistent URL:
Michael Weber : Der Petrinetz-Würfel im Petrinetz-Kern. AWPN 1999