✓

@Book{            Reutenauer:1990:MPN:79071,
  Author        = "Reutenauer, Christophe",
  Address       = "Upper Saddle River, NJ, USA",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  ISBN          = "0-13-561887-8",
  Publisher     = "Prentice-Hall, Inc.",
  Title         = "The Mathematics of Petri Nets",
  Year          = "1990"
}

@Book{ Reutenauer:1990:MPN:79071, Author = "Reutenauer, Christophe", Address = "Upper Saddle River, NJ, USA", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", ISBN = "0-13-561887-8", Publisher = "Prentice-Hall, Inc.", Title = "The Mathematics of Petri Nets", Year = "1990" }