2,315 research outputs found
A Petri Nets Model for Blockchain Analysis
A Blockchain is a global shared infrastructure where cryptocurrency
transactions among addresses are recorded, validated and made publicly
available in a peer- to-peer network. To date the best known and important
cryptocurrency is the bitcoin. In this paper we focus on this cryptocurrency
and in particular on the modeling of the Bitcoin Blockchain by using the Petri
Nets formalism. The proposed model allows us to quickly collect information
about identities owning Bitcoin addresses and to recover measures and
statistics on the Bitcoin network. By exploiting algebraic formalism, we
reconstructed an Entities network associated to Blockchain transactions
gathering together Bitcoin addresses into the single entity holding permits to
manage Bitcoins held by those addresses. The model allows also to identify a
set of behaviours typical of Bitcoin owners, like that of using an address only
once, and to reconstruct chains for this behaviour together with the rate of
firing. Our model is highly flexible and can easily be adapted to include
different features of the Bitcoin crypto-currency system
Task sequence planning in a robot workcell using AND/OR nets
An approach to task sequence planning for a generalized robotic manufacturing or material handling workcell is described. Given the descriptions of the objects in this system and all feasible geometric relationships among these objects, an AND/OR net which describes the relationships of all feasible geometric states and associated feasibility criteria for net transitions is generated. This AND/OR net is mapped into a Petri net which incorporates all feasible sequences of operations. The resulting Petri net is shown to be bounded and have guaranteed properties of liveness, safeness, and reversibility. Sequences are found from the reachability tree of the Petri net. Feasibility criteria for net transitions may be used to generate an extended Petri net representation of lower level command sequences. The resulting Petri net representation may be used for on-line scheduling and control of the system of feasible sequences. A simulation example of the sequences is described
Petri net approaches for modeling, controlling, and validating flexible manufacturing systems
In this dissertation, we introduce the fundamental ideas and constructs of Petri net models such as ordinary, timed, colored, stochastic, control, and neural, and present some studies that emphasize Petri nets theories and applications as extended research fields that provide suitable platforms in modeling, controlling, validating, and evaluating concurrent systems, information systems, and a versatile dynamic system and manufacturing systems;We then suggest some of extensions that help make Petri nets useful for modeling and analyzing discrete event systems and manufacturing systems models based on the context of a versatile manufacturing system, and applies extended Petri nets models to several manufacturing systems such as an assembly cell, an Automated Palletized Conveyor System, and a tooling machine to show increased modeling power and efficient analysis methods;Finally, Validation methods are presented for these models and results of a performance analysis from a deterministic and stochastic model are used to reorganize and re-evaluate a manufacturing system in order to increase its flexibility
Service orchestration with priority constraints
Business process management is an operational management approach that focuses on improving business processes. Business processes, i.e., collections of important activities in an organization, are represented in the form of a workflow, an orchestrated and repeatable pattern of activities amenable to automated analysis and control. Priority is an important concept in modeling workflows. We need priority to model cancelable and compensable tasks within transactional business processes. We use the Reo coordination language to model and formally analyze workflows. In this paper, we propose a constraint-based approach to formalize priority in Reo. We introduce special channels to propagate and block priority flows, define their semantics as constraints, and model priority propagation as a constraint satisfaction problem
Petri net model decomposition - a model based approach supporting distributed execution
Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e TecnologiaModel-based systems development has contributed to reducing the enormous
difference between the continuous increase of systems complexity and the improvement of methods and methodologies available to support systems development.
The choice of the modeling formalism is an important factor for success-fully increasing productivity. Petri nets proved to be a suitable candidate for being chosen as a system specification language due to their natural support of modeling processes with concurrency, synchronization and resource sharing, as well as the mechanisms of composition and decomposition. Also
having a formal representation reinforces the choice, given that the use of
verification tools is fundamental for complex systems development.
This work proposes a method for partitioning Petri net models into concurrent sub-models, supporting their distributed implementation. The IOPT class (Input-Output Place Transition) is used as a reference class. It is extended by directed synchronous communication channels, enabling the com-
munication between the generated sub-models. Three rules are proposed to perform the partition, and restrictions of the proposed partition method are identified.
It is possible to directly compose models which result from the partitioning operation, through an operation of model addition. This allows the re-use of previously obtained models, as well as the easy modification of the intended system functionalities.
The algorithms associated with the implementation of the partition operation are presented, as well as its rules and other procedures. The proposed methods are validated through several case studies emphasizing control components of automation systems
Customizable service-oriented Petri net controllers
In industrial automation, service-orientation is a relatively new and ascending concept and thus, concrete integrated methodologies are missing to accomplish the required development tasks. A suitable approach is to use the powerful set of features that Petri nets formalism provides for such dynamic systems. This paper presents a token game template that is part of the open methodology for the development of customized Petri nets controllers, targeting the engineering of service-oriented industrial automation. This template is based on a state machine specification for the life-cycle of transitions that leaves several options open for extending it with features depending on the application. The practical use and implementation should bring, among others, featured-full and integrated modeling, analysis and control capabilities, which is required by service-oriented ecosystems. This core structure was used and validated in the development of control applications for an industrial automation system.The authors would like to thank the European Commission and the partners of the EU IST FP6 project “Service-Oriented Cross-layer infrastructure for Distributed smart Embedded devices” (SOCRADES), the EU FP6 “Network of Excellence for Innovative Production Machines and Systems” (I*PROMS), and the European ICT FP7 project “Cooperating Objects Network of Excellence” (CONET) for their support
Genetic regulatory mechanisms by means of extended interactive Petri nets
In our work we have chosen to integrate formalism for knowledge representation with formalism for process
representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of
this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of
interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of
asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control
with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system.
Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics
the genetic regulatory mechanism used in an organic cell to select the next genes to process
Performance Analysis of Live-Virtual-Constructive and Distributed Virtual Simulations: Defining Requirements in Terms of Temporal Consistency
This research extends the knowledge of live-virtual-constructive (LVC) and distributed virtual simulations (DVS) through a detailed analysis and characterization of their underlying computing architecture. LVCs are characterized as a set of asynchronous simulation applications each serving as both producers and consumers of shared state data. In terms of data aging characteristics, LVCs are found to be first-order linear systems. System performance is quantified via two opposing factors; the consistency of the distributed state space, and the response time or interaction quality of the autonomous simulation applications. A framework is developed that defines temporal data consistency requirements such that the objectives of the simulation are satisfied. Additionally, to develop simulations that reliably execute in real-time and accurately model hierarchical systems, two real-time design patterns are developed: a tailored version of the model-view-controller architecture pattern along with a companion Component pattern. Together they provide a basis for hierarchical simulation models, graphical displays, and network I/O in a real-time environment. For both LVCs and DVSs the relationship between consistency and interactivity is established by mapping threads created by a simulation application to factors that control both interactivity and shared state consistency throughout a distributed environment
- …