For the most recent entries see the Petri Nets Newsletter.

OBJSA Nets: a class of High-level Nets having Objects as Domains.

Battiston, E.; de Cindio, F.; Mauri, G.

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 340: Advances in Petri Nets 1988, pages 20-43. Springer-Verlag, 1988.

Abstract: To define classes of high level nets having structured (individual) tokens is a fundamental goal for making nets actually usable. In this paper, a class of high-level Petri nets is defined, namely OBSJA net systems. These nets can be decomposed into state-machine components, and the domains to which individual tokens belong are defined as abstract data types.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography