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

The bounded degree problem for NLC grammars is decidable

The process of gene assembly in ciliates, an ancient group of organisms, is one of the most complex instances of DNA manipulation known in any organisms. This process is fascinating from the computational point of view, with ciliates even using the linked lists data structure. Three molecular operations (ld, hi, and dlad) have been postulated for the gene assembly process. We initiate here the study of parallelism in this process, raising several natural questions, such as: when can a number of operations be applied in parallel to a gene pattern; or how many steps are needed to assemble (in parallel) a micronuclear gene. In particular, this gives rise to a new measure of complexity for the process of gene assembly in ciliates.

Parallelism in Gene Assembly

On the subword complexity of m-free D0L languages☆

It is proved that a language is a coding (a letter-to-letter homomorphism) of a OL language, if, and only if, it is an EOL language.

The equality of EOL languages and codings of ol languages

The process of gene assembly in ciliates, an ancient group of organisms, is one of the most complex instances of DNA manipulation known in any organisms. This process is fascinating from the computational point of view, with ciliates even using the linked list data structure. Three molecular operations (Id, hi, and dlad) have been postulated for the gene assembly process. We initiate here the study of parallelism of this process by investigating several natural questions, such as: when can a number of operations be applied in parallel to a gene pattern, or how many steps are needed to assemble in parallel a micronuclear gene. We believe that the study of parallelism contributes to a better understanding of the nature of gene assembly, and in particular it provides a new insight in the complexity of this process.

Grzegorz Rozenberg

Papers

The bounded degree problem for NLC grammars is decidable

Parallelism in Gene Assembly

On the subword complexity of m-free D0L languages☆

The equality of EOL languages and codings of ol languages

Parallelism in gene assembly