%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Juliane Dehnert",
%%%     version         = "1.05",
%%%     date            = "25 November 2011",
%%%     time            = "15:51:52 MDT",
%%%     filename        = "dehnert-juliane.bib",
%%%     address         = "Technical University Berlin
%%%                        Fachbereich 13, Informatik
%%%                        Institute for Computation and Information Structures
%%%                        Sekr. E-N 7
%%%                        Einsteinufer 17
%%%                        D-10587 Berlin
%%%                        Germany",
%%%     telephone       = "49-30-314 79463",
%%%     FAX             = "+49-30-314 21 601",
%%%     URL             = "http://www.cis.cs.tu-berlin.de/~dehnert/",
%%%     checksum        = "52528 282 1103 11985",
%%%     email           = "dehnert at cs.tu-berlin.de (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of publications of
%%%                        Juliane Dehnert.  The companion LaTeX file
%%%                        dehnert-juliane.ltx can be used to typeset
%%%                        this bibliography.
%%%
%%%                        At version 1.05, the year coverage looked
%%%                        like this:
%%%
%%%                             2000 (   3)    2002 (   1)
%%%                             2001 (   6)    2003 (   1)
%%%
%%%                             Article:          1
%%%                             InCollection:     2
%%%                             InProceedings:    5
%%%                             Proceedings:      2
%%%                             TechReport:       1
%%%
%%%                             Total entries:   11
%%%
%%%                        This file is available as part of the BibNet
%%%                        Project.  The master copy is available for
%%%                        public access on ftp.math.utah.edu in the
%%%                        directory tree /pub/bibnet/authors.  It is
%%%                        mirrored to netlib.bell-labs.com in the directory
%%%                        tree /netlib/bibnet/authors, from which it is
%%%                        available via anonymous ftp and the Netlib
%%%                        service.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%% ====================================================================
%%% Journal abbreviations:

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-IEEE                = "IEEE Computer Society Press"}

@String{pub-IEEE:adr            = "1109 Spring Street, Suite 300, Silver
                                   Spring, MD 20910, USA"}

@String{pub-SV                  = "Springer-Verlag"}

@String{pub-SV:adr              = "Berlin, Germany~/ Heidelberg, Germany~/ London,
                                  UK~/ etc."}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@InProceedings{Dehnert:2000:MPE,
  author =       "J. Dehnert and A. Freiheit and A. Zimmermann",
  booktitle =    "Proc. 4th. World Multiconference on Systemics,
                 Cybernetics and Informatics (SCI'2000), Orlando,
                 Florida",
  title =        "Modeling and Performance Evaluation of Workflow
                 Systems",
  volume =       "VIII",
  pages =        "632--637",
  year =         "2000",
  bibdate =      "Wed Sep 28 08:57:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Dehnert:2000:WMP,
  author =       "J. Dehnert and A. Freiheit and A. Zimmermann",
  booktitle =    "{Bringing Knowledge to Business Processes, Workshop in
                 the American Association for Artificial Intelligence
                 ({AAAI}) Spring Symposium Series 2000}",
  title =        "Workflow Modeling and Performance Evaluation with
                 Colored Stochastic {Petri} Nets",
  pages =        "139--141",
  year =         "2000",
  bibdate =      "Wed Sep 28 08:57:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  acknowledgement = ack-nhfb,
}

@TechReport{Derks:2000:CAS,
  author =       "Wijnand Derks and Juliane Dehnert and Paul Grefen and
                 Willem Jonker",
  title =        "Customized atomicity specification for transactional
                 workflow",
  type =         "CTIT Technical Report",
  number =       "00-24",
  institution =  "University of Twente",
  address =      "Enschede, The Netherlands",
  year =         "2000",
  bibdate =      "Wed Sep 28 08:57:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  acknowledgement = ack-nhfb,
}

@Article{Dehnert:2001:ECB,
  author =       "Juliane Dehnert",
  title =        "Expressing the Controllability of Business Processes",
  journal =      "Petri Net Newsletter",
  volume =       "61",
  pages =        "9--17",
  year =         "2001",
  CODEN =        "????",
  ISSN =         "????",
  bibdate =      "Wed Sep 28 08:57:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  note =         "Column: Refereed Technical Contribution",
  acknowledgement = ack-nhfb,
}

@InProceedings{Dehnert:2001:FSS,
  author =       "J. Dehnert",
  editor =       "H. Weber and H. Ehrig and W. Reisig",
  booktitle =    "2nd Int. Colloquium on Petri Net Technologies for
                 Modelling Communication Based Systems",
  title =        "Four Systematic Steps Towards Sound Business Process
                 Models",
  publisher =    "Fraunhofer Gesellschaft ISST",
  address =      "????",
  pages =        "55--64",
  month =        sep,
  year =         "2001",
  bibdate =      "Wed Sep 28 08:57:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  acknowledgement = ack-nhfb,
}

@InProceedings{Dehnert:2001:RSB,
  author =       "J. Dehnert and P. Rittgen",
  title =        "Relaxed Soundness of Business Processes",
  crossref =     "Dittrich:2001:AIS",
  pages =        "157--170",
  year =         "2001",
  bibdate =      "Thu Mar 21 09:55:27 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/2068/20680157.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/2068/20680157.pdf",
  acknowledgement = ack-nhfb,
}

@InProceedings{Derks:2001:CAS,
  author =       "Wijnand Derks and Juliane Dehnert and Paul Grefen and
                 Willem Jonker",
  title =        "Customized Atomicity Specification for Transactional
                 Workflow",
  crossref =     "Lu:2001:PTI",
  pages =        "140--147",
  year =         "2001",
  bibdate =      "Wed Sep 28 08:57:41 2011",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs.bib;
                 http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  acknowledgement = ack-nhfb,
}

@InCollection{Dehnert:2002:NCC,
  author =       "Juliane Dehnert",
  booktitle =    "Application and theory of {Petri} nets 2002",
  title =        "Non-controllable choice robustness expressing the
                 controllability of workflow processes",
  volume =       "2360",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "121--141",
  year =         "2002",
  MRclass =      "Database Expansion Item",
  MRnumber =     "2051817",
  bibdate =      "Wed Sep 28 08:55:55 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  series =       j-LECT-NOTES-COMP-SCI,
  URL =          "http://link.springer-ny.com/link/service/series/0558/bibs/2360/23600121.htm;
                 http://link.springer-ny.com/link/service/series/0558/papers/2360/23600121.pdf",
  acknowledgement = ack-nhfb,
}

@InCollection{Eshuis:2003:RPN,
  author =       "Rik Eshuis and Juliane Dehnert",
  booktitle =    "Applications and theory of {Petri} nets 2003",
  title =        "Reactive {Petri} nets for workflow modeling",
  volume =       "2679",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "296--315",
  year =         "2003",
  DOI =          "http://dx.doi.org/10.1007/3-540-44919-1_20",
  MRclass =      "Database Expansion Item",
  MRnumber =     "2050777",
  bibdate =      "Wed Sep 28 08:55:55 2011",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  series =       j-LECT-NOTES-COMP-SCI,
  acknowledgement = ack-nhfb,
}

%%% ====================================================================
%%% Cross-referenced entries must come last:

@Proceedings{Dittrich:2001:AIS,
  editor =       "Klaus R. Dittrich and Andreas Geppert and Moira C.
                 Norrie",
  booktitle =    "Advanced information systems engineering: 13th
                 international conference, {CAiSE} 2001, Interlaken,
                 Switzerland, June 4--8, 2001: proceedings",
  title =        "Advanced information systems engineering: 13th
                 international conference, {CAiSE} 2001, Interlaken,
                 Switzerland, June 4--8, 2001: proceedings",
  volume =       "2068",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "xii + 484",
  year =         "2001",
  ISBN =         "3-540-42215-3 (paperback)",
  ISBN-13 =      "978-3-540-42215-0 (paperback)",
  LCCN =         "QA76.758 .C33 2001",
  bibdate =      "Thu Jan 17 11:49:19 MST 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  series =       ser-LNCS,
  URL =          "http://link.springer-ny.com/link/service/series/0558/tocs/t2068.htm",
  acknowledgement = ack-nhfb,
  keywords =     "computer-aided software engineering -- congresses;
                 systems engineering -- congresses",
}

@Proceedings{Lu:2001:PTI,
  editor =       "Hongjun Lu and others",
  booktitle =    "The proceedings of the Third International Symposium
                 on Cooperative Database Systems for Advanced
                 Applications: CODAS 2001, Beijing, China, April 23--24,
                 2001",
  title =        "The proceedings of the Third International Symposium
                 on Cooperative Database Systems for Advanced
                 Applications: {CODAS} 2001, Beijing, China, April
                 23--24, 2001",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "x + 200",
  year =         "2001",
  ISBN =         "0-7695-1128-7, 0-7695-1129-5 (case), 0-7695-1130-9
                 (microfiche)",
  ISBN-13 =      "978-0-7695-1128-3, 978-0-7695-1129-0 (case),
                 978-0-7695-1130-6 (microfiche)",
  LCCN =         "????",
  bibdate =      "Thu Mar 21 09:59:26 2002",
  bibsource =    "http://www.math.utah.edu/pub/bibnet/authors/d/dehnert-juliane.bib",
  acknowledgement = ack-nhfb,
}

%% Last MathSciNet database search: Wed Sep 28 08:58:44 2011 [years 1970--2012]