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

Molecular operations for DNA processing in hypotrichous ciliates

1. In the Footsteps of L: Exposition of L Systems.- Grammars of development: discrete-state models for growth, differentiation and gene expression in modular organisms.- 2. The Main Path Continues Further: Studies of Basic L Systems.- Regularity properties of L ambiguities of morphisms.- Iterated substitutions and locally catenative Systems: a decidability result in the binary case.- Alternating iteration of morphisms and the Kolakovski sequence.- Interaction strength of DIL systems.- Inductive inference of 0L languages.- A normal form for structurally equivalent E0L grammars.- Simplifications of E0L grammars.- The complexity of the emptiness problem for E0L Systems.- A0L-and CFG-size of languages.- A comparison of two controlled rewriting mechanisms for table Lindenmayer systems.- 3. Images from the Path: Computer Graphics, Pictures and Animation.- L-systems: from formalism to programming languages.- Parameterized L Systems for modelling: potential and limitations.- A high-level language for L-Systems and its applications.- On synchronized Lindenmayer picture languages.- Generation of random planar tessellations by hierarchical decimation.- 4. Walking in the Plane: Graph Grammars and Map L Systems.- Parallel hyperedge replacement.- From parallel graph grammars to parallel high-level replacement Systems.- On relationships between graph L-systems and picture languages: Part II.- Map L Systems with multiple markers.- 5. Enjoying Flora Along the Path: Biological Aspects and Models.- Locally generated colourings of hexagonal cell division patterns: application to retinal cell differentiation.- A model for cellular development in morphogenetic fields.- Splicing schemes and DNA.- Cellworks: an application to plant morphogenesis.- 6. Crossroads and Brandung Path: Variations and Generalizations of L Systems, Related Models.- Parallel communicating Systems of L Systems.- "Forgetful" L Systems.- Skew-morphisms and systems.- An algebraic approach to incomparable families of formal languages.- On the inverse neighborhoods of reversible cellular automata.- Templates, fragments and skins.

Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology

Halting problem post correspondence problem diophantine problems classes of problems and proofs the secret number.

Grzegorz Rozenberg

Papers

Molecular operations for DNA processing in hypotrichous ciliates

Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology

Cornerstones of undecidability

Template-guided recombination for IES elimination and unscrambling of genes in stichotrichous ciliates.

Application of Petri Nets to Communication Networks