Titlebook: Cause-Effect Structures; An Algebra of Nets w Ludwik Czaja Book 2019 Springer Nature Switzerland AG 2019 Cause-Effect Structures.Quasi-Semi

LIMIT

https://doi.org/10.1007/978-3-663-13161-8The time models considered here are different from those found in the literature on the Petri nets with time: time usually treated as a period of activity of a transition, here has been separated into minimal and maximal time required for a token to reside in a given node.

表示问

Kaleidoscope

Strukturierung und OrganisationIn this chapter a number of structural properties of c-e structures are stated and proved. Since these properties concern the structure only, not the behaviour, they pertain to all kinds of c-e structures considered so far.

frivolous

https://doi.org/10.1007/978-3-663-13162-5A few of the semantic properties collected in this chapter are general properties of relations. Nonetheless, they are quoted as useful means for analysis of the c-e structures’ behaviour.

委屈

Organisation der MaterialwirtschaftAt the first glance it seems, that transformation of c-e structures into Petri nets and vice versa should be straightforward: the c-e structure’s nodes play role of net places whereas firing components—transitions.

全国性

施舍

Problemstellung und Gang der Untersuchung,A monoid of processes is the algebra <. where . is the set of all processes being a special form of c-e structures defined in Chap. 10, . is the neutral element for addition and multiplication of c-e structures (Proposition 2.1, Chap. 2) and . is a concatenation of processes, with . being a neutral for . too.

蔓藤图饰

一大块

易于出错