Property-Preserving Petri Net Process Algebra in Software Engineering

The focus of the present paper is on modeling the distribution grid using Petri Net for reconfiguration. Such system can be described as node and connection. So modeling this system is to model the node and connection in order to describe all the actions in the system then collect the data . Each connection in the power network will be transfer to Petri Net according to the designing of the fiche. Then the whole system can be modeled by Process Algebra Petri Net (PPN). It makes the grid more compact and easier to monitor

Download Full-text

A Petri Net Perspective on the Resource Allocation Problem in Software Engineering

Lecture Notes in Computer Science - Transactions on Petri Nets and Other Models of Concurrency V ◽

10.1007/978-3-642-29072-5_8 ◽

2012 ◽

pp. 181-200 ◽

Cited By ~ 7

Author(s):

Juan-Pablo López-Grao ◽

José-Manue Colom

Keyword(s):

Resource Allocation ◽

Software Engineering ◽

Petri Net ◽

Allocation Problem ◽

Resource Allocation Problem

Download Full-text

Software Engineering Based on Object Management Petri Net

Applied Mechanics and Materials ◽

10.4028/www.scientific.net/amm.519-520.339 ◽

2014 ◽

Vol 519-520 ◽

pp. 339-342

Author(s):

Jian Hua Yang

Keyword(s):

Information System ◽

User Interface ◽

Software Engineering ◽

Petri Net ◽

Management Information System ◽

Management Information ◽

Design And Implementation ◽

Object Management ◽

Integrate Analysis ◽

Analysis Design

Object management Petri net technique is developed to integrate analysis, design and implementation for applications of management information system. Not only object concept is adopted to describe tokens in places, but also class inheritance and composition, user interface and complicate algorithm are represented by expanded transitions. Three kinds of work modes of object management Petri net are introduced to fulfill development, execution, and simulation of the net system.

Download Full-text

Operation Refinement in Trusted Component Based on OR-Transition Colored Petri Net

International Journal of Information Systems and Supply Chain Management ◽

10.4018/ijisscm.2018010103 ◽

2018 ◽

Vol 11 (1) ◽

pp. 31-38

Author(s):

Na Zhao ◽

Jin Xu ◽

Xiucheng Yang ◽

Zhongwen Xie ◽

Yong Yu ◽

...

Keyword(s):

Software Engineering ◽

Software Architecture ◽

Petri Net ◽

Local Environment ◽

Basic Element ◽

Focus Of Attention ◽

Colored Petri Net ◽

Development And Evolution ◽

At Home

The development and evolution of trusted software is the focus of attention in the fields of trusted software and software engineering at home and abroad. In view of its complexity and diversity, this article proceeds with component, which is the basic element of software architecture, and discusses the refinement of trusted component. Refine one of the operations and its local environment using OR-transition colored Petri net to achieve the purpose of gradual refinement.

Download Full-text

Petri net-based models of software engineering processes

10.1109/hicss.1990.205181 ◽

2002 ◽

Cited By ~ 2

Author(s):

B. Kramer ◽

Luqi

Keyword(s):

Software Engineering ◽

Petri Net

Download Full-text

Abstraction: An alternative neurocognitive account of recognition, prediction, and decision making

Behavioral and Brain Sciences ◽

10.1017/s0140525x19003017 ◽

2020 ◽

Vol 43 ◽

Author(s):

Valerie F. Reyna ◽

David A. Broniatowski

Keyword(s):

Decision Making ◽

Software Engineering ◽

Systems Engineering ◽

Evidence Based ◽

Extensive Literature ◽

Trace Theory ◽

Fuzzy Trace Theory ◽

Abstract Representations ◽

Technical Systems

Abstract Gilead et al. offer a thoughtful and much-needed treatment of abstraction. However, it fails to build on an extensive literature on abstraction, representational diversity, neurocognition, and psychopathology that provides important constraints and alternative evidence-based conceptions. We draw on conceptions in software engineering, socio-technical systems engineering, and a neurocognitive theory with abstract representations of gist at its core, fuzzy-trace theory.

Download Full-text