Redes De Petri Ejercicios Resueltos Jun 2026
Modelar un cajero automático que puede estar en reposo, atendiendo a un usuario, o fuera de servicio. Usar lugares: reposo (1 ficha inicial), atendiendo (0), fueraServicio (0). Transiciones: iniciar_atencion (de reposo a atendiendo), terminar (de atendiendo a reposo), fallo (de atendiendo a fueraServicio), reparar (de fueraServicio a reposo). Mostrar secuencias de disparo y si el sistema puede quedar bloqueado.
Diseñar una Red de Petri para una máquina que acepta monedas y entrega una bebida. Si no hay stock, debe devolver la moneda al usuario. redes de petri ejercicios resueltos
Una transición ( t ) está si para todo lugar ( p ) se cumple: ( m(p) \ge Pre(p,t) ). Modelar un cajero automático que puede estar en
Definimos:
