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

Generating Graph Languages Using Hypergraph Grammars

Proceedings of the 10th international conference on Membrane Computing

The human brain can be described as a complex network, formed by spatially distributed, but functionally linked regions that continuously share information with each other. This arrangement ensures efficiency and resilience to damage. In this view, the characterization of brain connectivity is necessary to increase our understanding of how functional brain states emerge from their underlying structural substrate and how neurons and neural networks process information. Magnetic Resonance Imaging (MRI) offers a range of technique that enables the measurement of both, functional and structural connectivity. In this context, functional connectivity is defined as a correlation between remote neurophysiological events in temporal domain, while structural or anatomical connectivity refers to the physical pathways that connect the “nodes of the network”, i.e., the main white matter tracts of the brain. Characterising these properties non-invasively and defining the so-called “human connectome” has been the target of numerous efforts. This talk will provide an overview of the methods used for mapping brain connections, with a specific focus on the combination of structural and functional information. Moreover, we will discuss some of the limitations and the pitfalls of these techniques. • Bernadette Hahn, University of Würzburg Challenges in dynamic tomography. ABSTRACT Image reconstruction in standard tomography (CT, MRI, etc.) is well understood if the object under investigation is stationary during the data acquisition. However, this assumption is violated in many medical and industrial applications, e.g., due to patient and organ motion or while imaging fluid flow. Consequently, standard reconstruction techniques lead to motion artefacts in the computed images, e.g., blurring, ghosting, etc., which can significantly impede a viImage reconstruction in standard tomography (CT, MRI, etc.) is well understood if the object under investigation is stationary during the data acquisition. However, this assumption is violated in many medical and industrial applications, e.g., due to patient and organ motion or while imaging fluid flow. Consequently, standard reconstruction techniques lead to motion artefacts in the computed images, e.g., blurring, ghosting, etc., which can significantly impede a vi

/pdf/computational-aspects-of-tomographic-and-neuroscientific-zxluun2253.pdf

Computational aspects of tomographic and neuroscientific problems

On the Structure of Polynomially Bounded DOL Systems ; CU-CS-095-76

In the paper, we discuss an extension of exploration systems introduced by Andrzej Ehrenfeucht and Grzegorz Rozenberg. The extension is defined by adding an interpretation of nodes and edges in zoom structure of exploration system. The interpretation is based on the concepts, namely local logic and logic infomorphism, from the notion of information flow by Jon Barwise and Jerry Seligman. This extension makes it possible, in particular, to give a natural interpretation of reaction systems in exploration systems as tools for controlling attention in reasoning about the perceived situation in the physical world.

/pdf/linking-exploration-systems-with-local-logicsover-146b929m7k.pdf

Grzegorz Rozenberg

Papers

Generating Graph Languages Using Hypergraph Grammars

Proceedings of the 10th international conference on Membrane Computing

Computational aspects of tomographic and neuroscientific problems

On the Structure of Polynomially Bounded DOL Systems ; CU-CS-095-76

Linking Exploration Systems with Local Logicsover Information Systems.