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 class of external contextual languages isstrictly included in the class of linear languages. A reason for the strict inclusion in linear languages is that external contextual grammars generate languages in the exhaustive way: each sentential form belongs to the language of a grammar.

In this paper we study the effect of adding various squeezing mechanisms to the basic classes of exhaustive contextual grammars. We obtain in this way a characterization of linear languages and a whole landscape of sublinear families. By restricting the contexts to be one-sided (only left-sided or only right-sided) we obtain a characterization of regular languages -- here the subregular landscape reduces to two families.

The linear landscape of external contextual languages

Bibliography of l systems

An observation on scattered grammars

Duality for Three: Ternary Symmetry in Process Spaces.- Mathematical Proofs at a Crossroad?.- Rational Relations as Rational Series.- Networks of Standard Watson-Crick D0L Systems with Incomplete Information Communication.- On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems.- Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages.- A Semiring-Semimodule Generalization of ?-Context-Free Languages.- Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials.- Two Models for Gene Assembly in Ciliates.- On Self-Dual Bases of the Extensions of the Binary Field.- On NFA Reductions.- Some Results on Directable Automata.- Rectangles and Squares Recognized by Two-Dimensional Automata.- Substitution on Trajectories.- Recombination Systems.- Algebraic Aspects of Parikh Matrices.- On Distributed Computing on Elliptic Curves.- On the Formal Modelling of Trust in Reputation-Based Systems.- Issues with Applying Cryptography in Wireless Systems.- On a Tomographic Equivalence Between (0,1)-Matrices.- P Systems with Tables of Rules.- Some Properties of Multistage Interconnection Networks.- Structural Equivalence of Regularly Extended E0L Grammars: An Automata Theoretic Proof.- Complexity of Evolving Interactive Systems.

Grzegorz Rozenberg

Papers

The linear landscape of external contextual languages

Bibliography of l systems

An observation on scattered grammars

Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday

Every two equivalent D0L systems have a regular true envelope