scholarly journals Analysing Coloured Petri Nets by the Occurrence Graph Method

1997 ◽  
Vol 26 (517) ◽  
Author(s):  
Jens Bæk Jørgensen
Keyword(s):  
Distributed Systems ◽  
Petri Nets ◽  
Research Area ◽  
Coloured Petri Nets ◽  
Main Subject ◽  
Graph Method ◽  
Research Areas ◽  
High Level ◽  
Phd Thesis ◽  
Work Done

<p>This paper provides an overview og the work done for the author's PhD thesis. The research area of Coloured Petri Nets is introduced, and the available analysis methods are presented. The occurrence graph method, which is the main subject of this thesis, is described in more detail. Summaries of the six papers which, together with this overview, comprise the thesis are given, and the contributions are discussed.</p><p>A large portion of this overview is dedicated to a description of related work. The aim is twofold: First, to survey pertinent results within the research areas of -- in increasing generality -- Coloured Petri Nets, High-level Petri Nets, and formalisms for modelling and analysis of parallel and distributed systems. Second, to put the results obtained in this thesis in a wider perspective by comparing them with important related work.</p>

scholarly journals Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm - Using Coloured Petri Nets and Occurrence Graphs with Symmetries

1997 ◽  
Vol 26 (512) ◽  
Author(s):  
Jens Bæk Jørgensen ◽  
Lars Michael Kristensen
Keyword(s):  
Distributed Systems ◽  
Petri Nets ◽  
Mutual Exclusion ◽  
Condensed State ◽  
Coloured Petri Nets ◽  
Computer Tool ◽  
State Spaces ◽  
Index Terms ◽  
High Level ◽  
Mutual Exclusion Algorithm

<p>In this paper, we present a new computer tool for verification of distributed systems. As an example, we establish the correctness of Lamport's Fast Mutual Exclusion Algorithm. The tool implements the method of occurrence graphs with symmetries (OS-graphs) for Coloured Petri Nets(CP-nets). The basic idea in the approach is to exploit the symmetries inherent in many distributed systems to construct a condensed state space. We demonstrate a signigicant increase in the number of states which can be analysed. The paper is to a large extent self-contained and does not assume any prior knowledge of CP-nets (or any other kinds of Petri Nets) or OS-graphs. CP-nets and OS-graphs are not our invention. Our contribution is development of the tool and verification of the example.</p><p><strong>Index Terms:</strong> Modelling and Analysis of Distributed Systems, Formal Verification, Coloured Petri Nets, High-Level Petri Nets, Occurrence Graphs, State Spaces, Symmetries, Mutual Exclusion.</p>

scholarly journals Bibliometric analysis of the development of nanoscience research in South Africa

2017 ◽  
Vol 113 (11/12) ◽  
Author(s):  
Xolani Makhoba ◽  
Anastassios Pouris
Keyword(s):  
South African ◽  
Web Of Science ◽  
Research Area ◽  
Public Institutions ◽  
Gauteng Province ◽  
Research Areas ◽  
The Usa ◽  
Institutional Profile ◽  
High Level ◽  
The University

Nanotechnology is a fast-growing scientific research area internationally and is classified as an important emerging research area. In response to this importance, South African researchers and institutions have also increased their efforts in this area. A bibliometric study of articles as indexed in the Web of Science considered the development in this field with respect to the growth in literature, collaboration profile and the research areas that are more within the country’s context. We also looked at public institutions that are more active in this arena, including government policy considerations as guided by the National Nanotechnology Strategy launched in 2005. We found that the number of nanotechnology publications have shown a remarkable growth ever since the launch of the strategy. Articles on nanotechnology have been published in numerous journals, with Electrochimica Acta publishing the most, followed by Journal of Nanoscience and Nanotechnology. These publications fall within the traditional domains of chemistry and physics. In terms of the institutional profile and based on publication outputs over the period reviewed, the Council for Scientific and Industrial Research is a leading producer of publications in nanotechnology, followed by the University of the Witwatersrand – institutions that are both based in the Gauteng Province. There is a high level of international collaboration with different countries within this field – the most productive collaboration is with India, followed by the USA and China, as measured through co-authorship.

scholarly journals An Introduction to High-Level Petri Nets

1985 ◽  
Vol 14 (197) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Coloured Petri Nets ◽  
High Level

<p>This paper describes a Petri net model, where information is attached to each token and when a transition fires, it can inspect and modify the information. The model is based on predicate/transitions (Genrich and Lautenbach) and on coloured Petri nets (Jensen).</p><p>This generalization of ordinary Petri nets allows, for many applications, more manageable descriptions, due to the fact that equal subnets can be folded into each other yielding a much smaller net. The paper investigates how to analyse high-level Petri nets, and it turns out that invariants and reachability trees, two of the most important methods for ordinary Petri nets, can be generalized to apply for high-level Petri Nets.</p>

Measuring the interdisciplinarity of Big Data research: a longitudinal study

2018 ◽  
Vol 42 (5) ◽  
pp. 681-696 ◽  
Author(s):  
Jiming Hu ◽  
Yin Zhang
Keyword(s):  
Big Data ◽  
Longitudinal Study ◽  
Computer Science ◽  
Diversity Index ◽  
Interdisciplinary Collaboration ◽  
Research Area ◽  
Content Type ◽  
The Core ◽  
Research Areas ◽  
High Level

Purpose The purpose of this paper is to measure the degree of interdisciplinary collaboration in Big Data research based on the co-occurrences of subject categories using Stirling’s diversity index and specialization index. Design/methodology/approach Interdisciplinarity was measured utilizing the descriptive statistics of disciplines, network indicators showing relationships between disciplines and within individual disciplines, interdisciplinary communities, Stirling’s diversity index and specialization index, and a strategic diagram revealing the development status and trends of discipline communities. Findings Comprehensively considering all results, the degree of interdisciplinarity of Big Data research is increasing over time, particularly, after 2013. There is a high level of interdisciplinarity in Big Data research involving a large number of disciplines, but it is unbalanced in distribution. The interdisciplinary collaborations are not intensive on the whole; most disciplines are aggregated into a few distinct communities with computer science, business and economics, mathematics, and biotechnology and applied microbiology as the core. Four major discipline communities in Big Data research represent different directions with different development statuses and trends. Community 1, with computer science as the core, is the most mature and central to the whole interdisciplinary network. Accounting for all network indicators, computer science, engineering, business and economics, social sciences, and mathematics are the most important disciplines in Big Data research. Originality/value This study deepens our understanding of the degree and trend of interdisciplinary collaboration in Big Data research through a longitudinal study and quantitative measures based on two indexes. It has practical implications to study and reveal the interdisciplinary phenomenon and characteristics of related developments of a specific research area, or to conduct comparative studies between different research areas.

Sign in / Sign up

Export Citation Format

Share Document