ISSN:
1436-5057
Keywords:
68C01
;
Petri net classes
;
synchronization problem
;
simulation rules
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Description / Table of Contents:
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.
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02259909
Permalink