iFloripa Petri Net

Cycle v1.0 — Stratago Framework Simulation Engine

Estado dos Lugares (Tokens)
P₁ Base Ativa
Membros disponíveis
50
P₂ Estoque Digital
Produtos prontos
0
P₃ Capacitação
Membros treinados
0
P₄ Fundo Reserva
Capital gerado
0
P₅ Selo Ativo
Certificações
0
Disparar Transições
T₁ Monetização
P₂+P₅ → P₄
T₂ Capacitação
P₁ → P₃
T₃ Geração Valor
P₃ → 2×P₂
T₄ Emissão Selo
P₁+P₂ → P₅
Log de Disparos (0/100)
0
Disparos Total
0
Receita (P₄)
0
Pico Estoque
0
Deadlocks Evitados
Prova Matemática — Por que T₂ antes de T₁?
Estratégia Ótima — T₂→T₃→T₄→T₁
Academia First
Execute a simulação para ver os resultados calculados.
Estratégia Ingênua — T₁ imediato
Marketplace First
Execute a simulação para ver os resultados calculados.
// Utility Function iFloripa
U(x) = MACBETH_Score × (1 − Epistemic_Ignorance)
// Composite Score Stratago
α_composite = αT^0.35 × αE^0.30 × αO^0.20 × αJ^0.15
// Condição de Liveness (ausência de deadlock)
∀t ∈ T: ∃σ firing sequence | t ∈ σ — satisfeito somente com T₂ como bootstrap