Loading...
Loading...

Go to the content (press return)

Conceptual modeling using Petri nets

Author
Guasch, A.; Figueras, J.; Casanovas, J.
Type of activity
Book chapter
Book
Formal languages for computer simulation: transdisciplinary models and applications
First page
1
Last page
37
Publisher
IGI Global
Date of publication
2013-07
ISBN
978-1-4666-4369-7 Open in new window
DOI
https://doi.org/10.4018/978-1-4666-4369-7 Open in new window
Repository
http://hdl.handle.net/2117/105724 Open in new window
http://hdl.handle.net/2117/26835 Open in new window
URL
http://www.igi-global.com/book/formal-languages-computer-simulation/75484 Open in new window
Abstract
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 sys...
Citation
Guasch, A.; Figueras, J.; Casanovas, J. Conceptual modeling using Petri nets. A: "Formal languages for computer simulation: transdisciplinary models and applications". IGI Global, 2013, p. 1-37.
Group of research
CS2AC-UPC - Supervision, Safety and Automatic Control
IMP - Information Modelling and Processing
SIC - Smart Control Systems
inLab FIB

Participants