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

We generalize the decomposition theorem for finite 2-structures (from Ehrenfeucht and Rozenberg, Theoret. Comput. Sci. 70 (1990)) to infinite labeled 2-structures. It is shown that if an infinite labeled 2-structure g has at least one maximal prime clan, then its maximal prime clans form a partition of the domain of g, and the quotient w.r.t. this partition is linear, complete or primitive. Also, we show that the infinite primitive labeled 2-structures are upward hereditary, i.e., if h is a primitive substructure of a primitive g, then h can be extended to a primitive substructure h′ of g by adding one or two nodes to h.

Decompostion of Infinite Labeled 2-Structures

Patterns of simple gene assembly in ciliates

Marcus contextual grammars: modularity and leftmost derivation

Petri Nets for Biologically Motivated Computing

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming.

Grzegorz Rozenberg

Papers

Decompostion of Infinite Labeled 2-Structures

Patterns of simple gene assembly in ciliates

Marcus contextual grammars: modularity and leftmost derivation

Petri Nets for Biologically Motivated Computing

Current Trends in Concurrency: Overviews and Tutorials