Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets. >

/pdf/petri-nets-properties-analysis-and-applications-43jwyjdxr0.pdf

Petri nets: Properties, analysis and applications

Data Mining Practical Machine Learning Tools and Techniques

https://cmi.ac.in/~madhavan/courses/verification-2011/alur-dill-tcs-94.pdf

A theory of timed automata

物件導向軟體之架構(Object-Oriented Software Construction)探討

The Temporal Logic of Reactive and Concurrent Systems: Specification

Two main mechanisms behind the functioning of biochemical reactions are facilitation and inhibition; these mechanisms are also central for the interaction between biochemical reactions. This observation underlies the theory of reaction systems which is a formal framework for the investigation of biochemical reactions, and especially interactions between them.

Biochemical Reactions as Computations

Context Free Normal Systems and ETOL Systems

EOL Languages Are Not Codings of FPOL Languages ; CU-CS-098-76

We consider membrane systems where the generation/transformation of objects can take place only if it is linked to communication rules.

More specifically, all the rules move objects through membranes and, moreover, the membranes can modify the objects as they pass through. The intuitive interpretation of such rules is that a multiset of objects can move from a region to an adjacent one, and moreover objects can engage into (biochemical) reactions while passing through (are in "contact" with) a membrane. Therefore such "twofold" rules are called symport-rewriting (in short, sr) rules, where symport refers to a coordinated passage of a "team" of molecules through a membrane.

In this paper we investigate the influence of the form of sr rules on the power of membrane systems that employ them (sometime in combination with simple antiport rules which allow a synchronized exchange, through a membrane, of two molecules residing in two adjacent regions). A typical restriction on the form of an sr rule requires that the passage described by the rule is such that the sort of exiting molecules is a subset of the sort of entering molecules (however the multiplicities of sorts do not have to be related).

We also compare the sequential passage mode with the maximally parallel passage mode.

Grzegorz Rozenberg

Papers

Biochemical Reactions as Computations

Context Free Normal Systems and ETOL Systems

EOL Languages Are Not Codings of FPOL Languages ; CU-CS-098-76

Communication membrane systems with active symports

Finding a Homomorphism Between Two Words in NP-Complete ; CU-CS-134-78