Algebraic petri nets with active tokens : effective implementation in maude

Link:
Autor/in:
Verlag/Körperschaft:
RWTH Aachen
Erscheinungsjahr:
2025
Medientyp:
Text
Schlagworte:
  • 004: Informatik
  • ddc:004
Beschreibung:
  • PeerReviewed
Lizenz:
  • https://creativecommons.org/licenses/by/4.0/
Quellsystem:
ReposIt
Interne Metadaten
Quelldatensatz
oai:reposit.haw-hamburg.de:20.500.12738/18206