The Petri Net Tools Neptun and Poseidon

[1]  Wenjin Lu.  Minimal Model Generation Based on E-hyper Tableaux , 1997, KI.

[2]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[3]  U. Furbach.  Re nements for Restart Model Elimination , 1996 .

[4]  Jürgen Ebert,et al.  A Generic System to Support Multi-Level Understanding of Heterogeneous Software , 1997 .

[5]  Jürgen Ebert,et al.  Graph Based Modeling and Implementation with EER / GRAL , 1996, ER.

[6]  Lutz Priese,et al.  Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..

[7]  Luís Moniz Pereira,et al.  Prolegomena to Logic Programming for Non-monotonic Reasoning , 1996, NMELP.

[8]  Peter Baumgartner,et al.  Calculi for Disjunctive Logic Programming , 1997, ILPS.

[9]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .

[10]  Randal E. Bryant,et al.  Symbolic Boolean manipulation with ordered binary-decision diagrams , 1992, CSUR.

[11]  Bernd Baumgarten,et al.  Petri-Netze - Grundlagen und Anwendungen , 1990 .

[12]  Stefan Brass,et al.  D-wfs: a Connuent Calculus and an Equivalent Characterization , 1995 .

[13]  Wolfgang Albrecht,et al.  Integrating Fixed Priority and Static Scheduling to Maintain External Consistency , 1997 .

[14]  Peter Baumgartner,et al.  A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion , 1997, Journal of Automated Reasoning.

[15]  Gottfried Vossen,et al.  Datenmodelle, Datenbanksprachen und Datenbank-Management-Systeme , 1990 .

[16]  Christoph Steigner,et al.  Modelling Timeouts in Protocol Design , 1995 .

[17]  F. Stolzenburg,et al.  Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints , 1998 .

[18]  Jürgen Dix,et al.  A Comparison of STATIC Semantics with D-WFS , 1996 .

[19]  Peter Baumgartner,et al.  Tableaux for Diagnosis Applications , 1997, TABLEAUX.

[20]  Angelika Franzke.  GRAL 2.0: A Reference Manual , 1997 .

[21]  Peter H. Starke,et al.  Analyse von Petri-Netz-Modellen , 1990, Leitfäden und Monographien der Informatik.

[22]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[23]  I. Niemelä,et al.  Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.

[24]  Ilkka Niemell.  A Tableau Calculus for Minimal Model Reasoning Ilkka Niemel a a Tableau Calculus for Minimal Model Reasoning , 1996 .

[25]  A. Winter.  Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software , 1995 .

[26]  Chandrabose Aravindan,et al.  A Rational and Efficient Algorithm for View Deletion in Databases , 1997, ILPS.

[27]  Frieder Stolzenburg,et al.  A Flexible System for Constraint Disjunctive Logic Programming , 1998, Künstliche Intell..

[28]  J. Ebert,et al.  Querying Graph Structures with GQL , 1996 .

[29]  Chandrabose Aravindan.  An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.

[30]  Michael Dahr.  Petri Net Semantics of Logic Programs and Deductive Databases , 1993, GI Datenbank Rundbrief.

[31]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[32]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[33]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[34]  Gottfried Vossen,et al.  I-Serializability: Generalized Correctness for Transaction-Based Environments , 1997, Inf. Process. Lett..

[35]  Ilkka Niemell,et al.  Implementing Circumscription Using a Tableau Method Ilkka Niemel a Implementing Circumscription Using a Tableau Method , 1996 .

[36]  Jürgen Dix,et al.  Logisches Programmieren mit Negation und Disjunktion , 1996, Künstliche Intell..

[37]  NET CASE: Towards a Petri Net Based Technique for the Development of Expert/Database Systems , 1994 .

[38]  Alexander Fronk,et al.  Operational Semantics of Visual Notations Operational Semantics of Visual Design Languages , 1997 .

[39]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .