An approach to system design based on P/T net simulation

Citation
C. Bernardeschi et al., An approach to system design based on P/T net simulation, INF SOFTW T, 43(10), 2001, pp. 591-605
Citations number
23
Categorie Soggetti
Computer Science & Engineering
Journal title
INFORMATION AND SOFTWARE TECHNOLOGY
ISSN journal
09505849 → ACNP
Volume
43
Issue
10
Year of publication
2001
Pages
591 - 605
Database
ISI
SICI code
0950-5849(20010815)43:10<591:AATSDB>2.0.ZU;2-6
Abstract
This work presents a technique of early simulation in the design phase of c oncurrent and distributed systems. A P/T net is used to model the system wh ose behavior is simulated by the net execution; the truly concurrent semant ics of P/T nets establishes a partial order among the system events. The de signer can interact with the simulator asking for measures about the system behavior that concern all executions respecting the same partial order. So me measures. such as the degree of parallelism exploited, are not easily ob tainable from an interleaving semantics. Moreover, the designer can force t he system behavior to reflect resource-constrained environments. (C) 2001 E lsevier Science B.V. All rights reserved.