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

Linking Reaction Systems with Rough Sets

Conditions Enforcing Regularity of Context-Free Languages

Foundations of Object-Oriented Languages

Data-flow synchronous languages.- Process algebra with backtracking.- Some Chemical Abstract Machines.- Verification tools for finite-state concurrent systems.- Linear logic on Petri nets.- An introduction to the theoretical aspects of Coloured Petri Nets.- Temporal verification of simulation and refinement.- Verification and specification of concurrent programs.- Simulation techniques for proving properties of real-time systems.- Relationships between models of concurrency.- Interaction diagrams.- Algebraic theories for name-passing calculi.- Initial algebra and final coalgebra semantics for concurrency.- Logical specifications of infinite computations.- Partial order based design of concurrent systems.

A Decade of Concurrency: Reflections and Perspectives : Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 : Proceedings

This chapter is dedicated to the memory of Professor Zdzislaw Pawlak, founder of the Polish school of Artificial Intelligence and one of the pioneers in Computer Engineering and Computer Science with worldwide influence.

/pdf/professor-zdzislaw-pawlak-1926-2006-founder-of-the-polish-1pqvw4i0li.pdf

Grzegorz Rozenberg

Papers

Linking Reaction Systems with Rough Sets

Conditions Enforcing Regularity of Context-Free Languages

Foundations of Object-Oriented Languages

A Decade of Concurrency: Reflections and Perspectives : Rex School/Symposium Noordwijkerhout, the Netherlands June 1-4, 1993 : Proceedings

Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence