Skip to content
VuFind
  • 0 Items in e-Shelf (Full)
  • History
  • User Account
  • Logout
  • User Account
  • Help
    • English
    • Deutsch
  • Books & more
  • Articles & more
  • JuSER
Advanced
 
  • Literature Request
  • Cite this
  • Email this
  • Export
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to MARCXML
    • Export to BibTeX
  • Favorites
  • Add to e-Shelf Remove from e-Shelf
Cover Image

Semilinearity of the reachability set is decidable for petri nets.

Saved in:
Personal Name(s): Hausschildt, D.
Imprint: Hamburg : Universitaet Hamburg, 1990.
Physical Description: 154 S.
Note: englisch
Series Title: Bericht / Fachbereich Informatik Universität Hamburg ; vol 0146.
Subject (ZB):
Petri net
Classification:
DCA - Informatics - theoretical
MWD - Applied graph theory, network analysis
  • Holdings
  • Staff View

ZB
Open Stacks Call Number: S 002347-0146'01' Barcode: 1090104579 Available   

  • Forschungszentrum Jülich
  • Central Library (ZB)
  • Powered by VuFind 6.1.1
Loading...