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

Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.- Timed Automata: Semantics, Algorithms and Tools.- Petri Nets and Dependability.- Process Algebra.- A Coloured Petri Net Approach to Protocol Verification.- Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.- A Survey on Non-interference with Petri Nets.- Synthesis of Asynchronous Hardware from Petri Nets.- Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.- Unbounded Petri Net Synthesis.- Petri Nets and Software Engineering.- Model Validation in Controller Design.- Graph Grammars and Petri Net Transformations.- Message Sequence Charts.- Model-Based Development of Executable Business Processes for Web Services.- Modelling and Control with Modules of Signal Nets.- Application of Coloured Petri Nets in System Development.- Bigraphs for Petri Nets.- Notes on Timed Concurrent Constraint Programming.- Petri Nets and Manufacturing Systems: An Examples-Driven Tour.- Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.- Object Petri Nets.

Lectures on concurrency and Petri nets : advances in Petri nets

Dedicated to Arto Salomaa, a towering figure of theoretical computer science, on the occasion of his 65th birthday, this book is a tribute to him on behalf of the theoretical computer science community. The contributions are written by internationally recognized scientists and cover most of Salomaa's many research areas. Due to its representative selection of classic and cutting edge trends in theoretical computer science, the book constitutes a comprehensive state-of-the-art survey. The contributions are in such central areas as automata theory, algorithms and complexity, and combinatorics of words. But not only that, they take up new areas such as regular sets and biocomputing. While some are survey articles of fundamental topics, most are original research papers.

Jewels Are Forever Contributions On Theoretical Computer Science in Honor of Arto Salomaa

Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others.The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field.Volume 3 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations presents the research on concurrency, parallelism, and distribution — important paradigms of modern computer science. The topics considered include semantics for concurrent systems, modeling of concurrency, mobile and coordinated systems, algebraic specifications, Petri nets, visual design of distributed systems, and distributed algorithms. The contributions have been written in a tutorial/survey style by the top experts.

Concurrency, parallelism, and distribution

Reaction systems are a formal model of interactions between biochemical reactions. In this note we initiate an investigation of causalities in reaction systems which reflect the way that elements (entities) of a reaction system influence each other.

Keywords: natural computing; biochemical interactions; reaction systems; causal relationships

/pdf/a-note-on-causalities-in-reaction-systems-1eaky0ids4.pdf

A Note on Causalities in Reaction Systems

DNA computing is one of the most exciting new developments in computer science, from both technological and theoretical point of view. We begin by observing how the structure of DNA molecules and the technics available for manipulating them are very suitable for computing. We then establish a link with certain fairly old results from computability theory which essentially explain why the main feature of DNA molecules, the Watson-Crick complementarity, gives rise to the Turing-universality of DNA computations. Selected areas of DNA computing, interesting from a theoretical point of view but offering also practical potential, will be briefly examined.

Grzegorz Rozenberg

Papers

Lectures on concurrency and Petri nets : advances in Petri nets

Jewels Are Forever Contributions On Theoretical Computer Science in Honor of Arto Salomaa

Concurrency, parallelism, and distribution

A Note on Causalities in Reaction Systems

DNA Computing: New Ideas and Paradigms