112

M: multimedia scenario, N: negative marking, I: interruption, PG: progress, R: refinement guarded, RC: recursive execution, RS: random switch, S: places offer structured token access, SC: self concurrency, ST: stream, Z: fuzziness

automated(!t)

The action of a transition is conducted automatically.

violation(!t)

Violations are transitions that must not belong to the events permitted by an implementation.

musical(!t)

A transition performs a musical function.

idle(!p)

A place represents parts that are waiting for production.

register(!p)

A place represents a hardware register.

link_type(!p)

A place represents a hyper-media link.

monomedia(!p)

A place represents a mono-media resource.

space(!p)

A place represents an organizational unit.

resource(!p)

A place represents a (production/office) resource.

mean(!p)

A place represents a product that is produced or consumed by an activity.

firing_duration(!t, !N)

Firing, i.e. changing the marking, consumes time..

firing_delay(!t, !N)

The time between the enabling and the firing of a transition is specified.

time_enable(!t)

Whether a transition is enabled depends on temporal restrictions.

t_location(!t)

It is specified where the action takes place.

p_location(!p)

It is specified where the tokens are stored.

synchronized(!t1, ..., !tn)

Several independently enabled transitions fire simultaneously.

conflict_resolve(!t1, ..., !tn)

A rule to choose among several enabled transitions is provided.

postset_delete(!t, !f1, ..., !fn)

The firing of a transition removes tokens from output places.

unchanged(!t, !f1, ..., !fn)

The firing of a transition does not affect the marking of certain input or output places

ext_marking(!p)

The environment changes the marking of a place.

ext_enable(!t)

Whether a transition is enabled depends on (non-temporal) external information. The number of tokens within the Petri net remains unchanged.

dep_enable(!t1, ..., !tn, !t)

Whether a transition is enabled depends on the enabling of other transitions.

not_enable(!f1, ..., !fn, !t)

Whether a transition is enabled does not depend on (the marking of) certain input places.

varying (!f)

The flow relation between a place and a transition (or vice versa) changes (e.g., depending on the current marking).

fact(!t)

The transition is never enabled. It represents a fact that always holds.

action(!t)

The content of a transition is described.

capacity(!p, !N)

Each place has a capacity N (N > 1). The capacity indicates an upper bound for the number of tokens in a place.

value(!tk)

A token carries a data value of an arbitrarily complex type.

detailed_t(!t)

A transition in a Petri net can be replaced by a transition-bordered subnet (refinement) or a set of transitions (unfolding).

detailed_p(!p)

A place in a Petri net can be replaced by a place-bordered subnet (refinement) or a set of places (unfolding).

1: constructs, a: assumption, i: implied by another proposition, m: missing statement (implied by descent), na: not applicable

d: deleted, r: renamed, rf: refer to, sg: general specialization, sd: domain-specific specialization, X: semantics and name of the original construct not changed

d: deleted, r: renamed, rf: refer to, sg: general specialization, sd: domain-specific specialization, X: semantics and name of the original construct not changed, mapping: 1:N- and M:N-types of relationships, min/max: relationship types, characterized by min/max-cardinalitied

d: deleted, r: renamed, rf: refer to, sg: general specialization, sd: domain-specific specialization, X: semantics and name of the original construct not changed

r: renamed, rf: refer to, sg: general specialization, sd: domain-specific specialization, l: label, f: function, X: semantics and name of the original construct not changed

PN mentioned for the first time (according to the year of the conference, references or information by the author); may differ from the year of the evaluated publication

No.				112
Short Citation				(Stork/van Glabbeek 2002)
Year				2002
Special Name
Descendant of				PrT
Constructs	Inherent	Place		rf: PrT, sg: refinement (guarded), input, output
		Transition		rf: PrT
		Flow Relation		rf: PrT
		Token		sg: structured
	New	Invented	Adapted
			Included
		Borrowed	Included
			Added
Syntactic Rules	Added			X
	Restricted
Remarks
Alternative Publications
Binary Vector	Inherent	[P1]		1
		[P2]
		[P3]		1
		[P4]		m
		[P5]
		[P6]
		[P7]
		[P8]
		[P9]
		[P10]
		[P11]		1
		[P12]
		[P13]
		[P14]
		[P15]
	Explicit	[P16]
		[P17]
		[P18]
		[P19]
		[P20]
		[P21]
	Domain	[P22]
		[P23]
		[P24]
		[P25]
		[P26]
		[P27]
		[P28]
		[P29]
		[P30]
		[P31]
Expressiveness Values	Total			0.13
	Inherent			0.27
	Explicit			0.00
	Domain Specifics			0.00
Partially Redundant Constructs	Conjunctive Concepts
	Linked Concepts			R