TY  - CHAP
AU  - Guasch, A.
AU  - Figueras, J.
AU  - Casanovas, J.
T2  - Formal languages for computer simulation: transdisciplinary models and applications
SP  - 1
EP  - 37
PB  - IGI Global
Y1  - 2013
SN  - 978-1-4666-4369-7
DO  - 10.4018/978-1-4666-4369-7
UR  - http://www.igi-global.com/book/formal-languages-computer-simulation/75484
AB  - Transdisciplinary Models and Applications investigates a variety of programming languages used in validating and verifying models in order to assist in their eventual implementation. This book will explore different methods of evaluating and formalizing simulation models, enabling computer and industrial engineers, mathematicians, and students working with computer simulations to thoroughly understand the progression from simulation to product, improving the overall effectiveness of modeling systems.
TI  - Conceptual modeling using Petri nets
ER  -