ISSN:
1436-5057
Schlagwort(e):
68C01
;
Petri net classes
;
synchronization problem
;
simulation rules
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
Beschreibung / Inhaltsverzeichnis:
Zusammenfassung In diesem Beitrag greifen wir ein Problem aus [1] auf, nämlich die Frage, ob PNlog-Netze Synchronisationsprobleme zu lösen gestatten, die, unter Einhaltung bestimmter Simulationsregeln, mit gewöhnlichen Petri-Netzen nicht lösbar sind. Wir zeigen, daß eine geringfügige und sinnvolle Verschärfung der in [1] präzisierten Simulationsregeln ausreicht, um die aufgeworfene Frage im positiven Sinne beantworten zu können. Wie in der Einleitung näher begründet wird, lösen wir damit auch teilweise das ursprüngliche Problem.
Notizen:
Abstract In this article we pick up a problem stated in [1], namely the question whether PNlog-nets allow to solve synchronization problems not solvable by ordinary Petri nets under certain simulation rules. We show that a slight and reasonable strengthening of the simulation rules defined in [1] enables us to answer the raised question in the positive. As will be pointed out in the introduction, with this result we “partially” solve the original problem.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF02259909
Permalink