• Aucun résultat trouvé

[PDF] Top 20 An Incremental Verification Technique using Decomposition of Petri Nets

Has 10000 "An Incremental Verification Technique using Decomposition of Petri Nets" found on our website. Below are the top 20 most common "An Incremental Verification Technique using Decomposition of Petri Nets".

An Incremental Verification Technique using Decomposition of Petri Nets

An Incremental Verification Technique using Decomposition of Petri Nets

... Keywords— Verification and validation, Modular verification, Decomposition, Petri ...work an efficient model checking algorithm for bounded Petri ...size of the ... Voir le document complet

6

Model checking of Time Petri Nets using the State Class Timed Automaton

Model checking of Time Petri Nets using the State Class Timed Automaton

... the verification of TPN consists in translating a TPN into a TA, in order to use the efficient algorithms and tools available for that ...subclass of 1-safe time stream Petri nets ..., ... Voir le document complet

34

Control of Safe Ordinary Petri Nets Using Unfolding

Control of Safe Ordinary Petri Nets Using Unfolding

... series of papers He and Lemmon (2000; 2002) have presented an original approach based on unfolding for liveness verification and ...results of these papers are ...is an interesting and ... Voir le document complet

25

Functional Petri Nets

Functional Petri Nets

... balance of the paper is the following: In Section 2, we introduce and discuss the concepts of functional Petri net and functional ...properties of functional subnets and consider the ... Voir le document complet

64

TCTL model checking of Time Petri Nets

TCTL model checking of Time Petri Nets

... checking of TPN: Given these abstractions, some methods were proposed to check quantitative timed properties but are not suitable for effective verification of properties on real-life ...translation ... Voir le document complet

27

Symbolic Unfolding of Parametric Stopwatch Petri Nets

Symbolic Unfolding of Parametric Stopwatch Petri Nets

... problem of unfolding safe parametric stopwatch time Petri nets (PSwPNs), ...time Petri nets (TPNs) possibly extended with time parameters and ...notion of branching process to ... Voir le document complet

32

Pomsets and Unfolding of Reset Petri Nets

Pomsets and Unfolding of Reset Petri Nets

... reset Petri nets. Consider for example the reset Petri net of Figure 1 ...one of its processes (the occurrence net with the homomorphism h ...process of a Petri net all ... Voir le document complet

13

Parametric Model-Checking of Stopwatch Petri Nets

Parametric Model-Checking of Stopwatch Petri Nets

... modeling of many embedded systems requires to express suspension and resumption of ...extensions of TPNs address this issue by controlling stop- watches either with priorities [Bucci et ...class ... Voir le document complet

33

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets

Modelling Data Processing for Interactive Scores Using Coloured Petri Nets

... frames of the file were ...output of a process is buffered in order to be read later by another ...intervals of the box for appending files were satisfied and the box started to concatenated the ... Voir le document complet

11

Decidability questions for Petri Nets.

Decidability questions for Petri Nets.

... notion of agreement also permits a concise formulation of the extension to submarkings of the various definitions of section ...set of places on which it is ...marking of which ... Voir le document complet

194

Discrete Parameters in Petri Nets

Discrete Parameters in Petri Nets

... in Petri Nets Short abstract: With the aim of increasing the modelling capability of Petri nets, we suggest that models involve parameters to represent the weights of ... Voir le document complet

141

Discrete Parameters in Petri Nets

Discrete Parameters in Petri Nets

... on Petri nets with ...algorithmic verification of several classes of infinite-state systems whose configurations can be modeled as words over a finite ...tion of sets of ... Voir le document complet

21

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

... investigating using such approach for the testing of inter- active applications to be deployed in large civil aircraft interactive ...development of such application. If a formal model of the ... Voir le document complet

18

The Logical View on Continuous Petri Nets

The Logical View on Continuous Petri Nets

... into an equi-satisfiable system of linear inequalities called the trap ...instances of small size [Esparza and Melzer 2000, ...variant of the trap inequation approach which has the drawback ... Voir le document complet

29

Petri nets with semi-structured data

Petri nets with semi-structured data

... set of independent communicating ...orchestration of services. It allows algorithmic manipulation of data, with an orchestration overlay to start services and synchronize their ...set ... Voir le document complet

21

On the Computational Power of Timed Differentiable Petri Nets

On the Computational Power of Timed Differentiable Petri Nets

... Differentiable Petri Nets (TDPN) can simulate Turing ...number of linear ODE inside ...perturbation of the simulation) and boundedness of the simulating net ...simulation of two ... Voir le document complet

40

Robustness of Time Petri Nets under Guard Enlargement

Robustness of Time Petri Nets under Guard Enlargement

... problem of robustness under small perturbations in the distributed and timed setting of time Petri nets (TPNs) ...effect of small enlargement of ...set of reachable ... Voir le document complet

16

Coverability Synthesis in Parametric Petri Nets

Coverability Synthesis in Parametric Petri Nets

... basis of the solution set for postT-PPNs or its complement for ...is an open problem: our main result is it is ExpSpace-complete, which we prove by considering the more generic property of ... Voir le document complet

26

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

Model-Based Testing of Post-WIMP Interactions Using Object Oriented Petri-nets

... Generalizability of the Modelling Philosophy In addition to interaction techniques, we pointed out in section ...transducer of a post-WIMP application (Fig. 3). Modelling of Logical Input Devices ... Voir le document complet

19

Timed Petri Nets with (restricted) Urgency

Timed Petri Nets with (restricted) Urgency

... consists of letting time elapse in a ...consists of firing an enabled transition t that has been enabled for a duration that fulfills the time constraints attached to ...firing of t if either ... Voir le document complet

26

Show all 10000 documents...