Topic
Process architecture
About: Process architecture is a research topic. Over the lifetime, 4876 publications have been published within this topic receiving 104171 citations.
Papers published on a yearly basis
Papers
More filters
25 Aug 2001
TL;DR: An interesting characteristic proper to the proposed methodology is the complete independence of HPNMs from their internal representations, which allows one to change the model without any effort by increasing/decreasing the specified level of detail of someHPNMs making up the HPN-model of the whole system.
Abstract: The problem of providing a modular representation of urban traffic and roadways by means of Petri nets is addressed. A modular modelling methodology is presented. After defining the urban traffic model and identifying each one of its components, it is possible to define for each element a hybrid Petri net module (HPNM), and provide an internal representation of it at a desired level of detail. A synthesis procedure allows one to join the single modules and provide the representation of the whole urban roadway considered in terms of hybrid Petri nets. An interesting characteristic proper to the proposed methodology is the complete independence of HPNMs from their internal representations. This allows one to change the model without any effort by increasing/decreasing the specified level of detail of some HPNMs making up the HPN-model of the whole system.
31 citations
05 Apr 2000
TL;DR: In this paper, the authors presented an experience of a multiagent model formalization using coloured Petri nets, applied to the study of an hunting management system, with simulation results.
Abstract: This paper presents an experience of a multiagent model formalization using coloured Petri nets, applied to the study of an hunting management system. The multiagent model of the hunting activity is presented, with simulation results. Then we describe Petri nets model assumptions and we give details about system modules. We analyze the model and we compare formal properties to multiagent simulation results. Pertinence of the approach is briefly discussed
31 citations
26 Jun 2000
TL;DR: An overview of a design framework in which Petri nets are used as the main behavioral model for specification and techniques for synthesis, analysis and formal verification of asynchronous circuits are reviewed and discussed.
Abstract: Asynchronous circuits is a discipline in which the theory of concurrency is applied to hardware design. This paper presents an overview of a design framework in which Petri nets are used as the main behavioral model for specification. Techniques for synthesis, analysis and formal verification of asynchronous circuits are reviewed and discussed.
31 citations
TL;DR: The purpose of the paper is to enlarge the set of theoretical tools previously developed for the incremental approach to the liveness analysis of a net, to be incorporated into a special CAD environment.
Abstract: The paper faces the reachability and the reversibility problems in a class of Petri nets larger than other classes investigated for the same problems. The considered class of Petri net represents a formal language to design and analyze logic controllers. These nets may be decomposed in simple structures, called elementary control tasks, linked together through a limited number of connections, giving rise to arbitrarily complex nets. Such connections are the ones encountered in a typical logic control problem, as exchange of enabling signals (consensus/deny to control maneuvers) and the synchronous execution (shared resources modeling or shared operations). The purpose of the paper is to enlarge the set of theoretical tools previously developed for the incremental approach to the liveness analysis of a net, to be incorporated into a special CAD environment. In particular, the addressed topics are the choice of the initial marking and the analysis of reachability of nonlive markings. >
31 citations
Proceedings Article•
[...]
TL;DR: Two lightweight extensions to Petri nets are proposed: Feature Petri Nets provide a framework for modelling and verifying software product lines; and Dynamic Feature PetRI Nets provide additional support for modelling dynamicSoftware product lines.
Abstract: In software product line (SPL) engineering, formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability The number of products in an SPL can be exponential in the number of features Therefore, the challenge when modelling SPL lies in analysing and verifying large, complex models efficiently, in order to ensure that all products behave correctly The choice of a system modelling formalism that is both expressive and well-established is therefore crucial In this paper we propose two lightweight extensions to Petri nets: Feature Petri Nets provide a framework for modelling and verifying software product lines; and Dynamic Feature Petri Nets provide additional support for modelling dynamic software product lines Keywords-software product lines; behavioural models; dynamic variability; Petri nets;
31 citations