The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Conceptual Modeling Using Petri Nets
|
Author(s): Antoni Guasch (Universitat Politècnica de Catalunya - Barcelona Tech, Spain), Jaume Figueras (Universitat Politècnica de Catalunya - Barcelona Tech, Spain)and Josep Casanovas (Universitat Politècnica de Catalunya - Barcelona Tech, Spain)
Copyright: 2014
Pages: 37
Source title:
Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
Source Author(s)/Editor(s): Pau Fonseca i Casas (Universitat Politècnica de Catalunya - BarcelonaTech, Spain)
DOI: 10.4018/978-1-4666-4369-7.ch001
Purchase
|
Abstract
Petri nets are used by our students as a formal modeling technique before building a working simulation model in Arena or Simio. The Petri net model enables the simulation analyst to build a complete, unambiguous, and readable model of the target process before coding it in the target simulation tool. One of the aims of this chapter is to emphasize the need for formal specification of the simulation model before it is coded in the chosen target simulation environment. Formal specification of the model is of great help throughout the simulation project life cycle, especially in the coding and verification phase.
Related Content
.
© 2023.
25 pages.
|
.
© 2023.
23 pages.
|
.
© 2023.
23 pages.
|
.
© 2023.
18 pages.
|
.
© 2023.
34 pages.
|
.
© 2023.
47 pages.
|
.
© 2023.
59 pages.
|
|
|