This repository was archived by the owner on Nov 8, 2025. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
This repository was archived by the owner on Nov 8, 2025. It is now read-only.
SnapShot/SVG render broken #2
Copy link
Copy link
Open
Description
This model doesn't render properly when presenting as markdown, or using the Snapshot button in the Editor
https://pflow.dev/?cid=zb2rhdd1HprcfztAWV6rNQFeWuoivzSiFDKAh9g9JiSqT9dbT
{
"modelType": "petriNet",
"version": "v0",
"places": {
"Insert Coin": { "offset": 0, "x": 100, "y": 200 },
"Payment Processing": { "offset": 1, "x": 250, "y": 200 },
"Payment Confirmed": { "offset": 2, "x": 400, "y": 200 },
"Choose Coffee Type": { "offset": 3, "x": 550, "y": 200 },
"Coffee Type Selected": { "offset": 4, "x": 700, "y": 200 },
"Heat Water & Brew Coffee": { "offset": 5, "x": 850, "y": 200 },
"Coffee Brewed": { "offset": 6, "x": 1000, "y": 200 },
"Add Milk / Sugar?": { "offset": 7, "initial": 1, "x": 1150, "y": 200 },
"Add Milk": { "offset": 8, "x": 1316, "y": 105 },
"Add Sugar": { "offset": 9, "x": 1300, "y": 300 },
"Dispense Coffee": { "offset": 10, "x": 1445, "y": 295 },
"Coffee Dispensed": { "offset": 11, "x": 1563, "y": 391 }
},
"transitions": {
"addCondiments": { "x": 1254, "y": 199 },
"addMilk": { "x": 624, "y": 324 },
"addSugar": { "x": 766, "y": 333 },
"brewCoffee": { "x": 470, "y": 323 },
"chooseCoffee": { "x": 317, "y": 322 },
"completeTransaction": { "x": 1065, "y": 343 },
"dispenseCoffee": { "x": 925, "y": 337 },
"finalizeTransaction": { "x": 1564, "y": 296 },
"finishDispensing": { "x": 1375, "y": 200 },
"noMilk": { "x": 1410, "y": 405 },
"noSugar": { "x": 1473, "y": 108 },
"processPayment": { "x": 165, "y": 387 }
},
"arcs": [
{ "source": "Insert Coin", "target": "processPayment" },
{ "source": "processPayment", "target": "Payment Processing" },
{ "source": "Payment Processing", "target": "chooseCoffee" },
{ "source": "chooseCoffee", "target": "Payment Confirmed" },
{ "source": "Payment Confirmed", "target": "brewCoffee" },
{ "source": "brewCoffee", "target": "Choose Coffee Type" },
{ "source": "Choose Coffee Type", "target": "addMilk" },
{ "source": "addMilk", "target": "Coffee Type Selected" },
{ "source": "Coffee Type Selected", "target": "addSugar" },
{ "source": "addSugar", "target": "Heat Water & Brew Coffee" },
{ "source": "Heat Water & Brew Coffee", "target": "dispenseCoffee" },
{ "source": "dispenseCoffee", "target": "Coffee Brewed" },
{ "source": "Coffee Brewed", "target": "completeTransaction" },
{ "source": "completeTransaction", "target": "Add Milk / Sugar?" },
{ "source": "Add Milk / Sugar?", "target": "addCondiments" },
{ "source": "addCondiments", "target": "Add Milk" },
{ "source": "addCondiments", "target": "Add Sugar" },
{ "source": "Add Milk", "target": "finishDispensing" },
{ "source": "Add Sugar", "target": "finishDispensing" },
{ "source": "finishDispensing", "target": "Dispense Coffee" },
{ "source": "Dispense Coffee", "target": "finalizeTransaction" },
{ "source": "finalizeTransaction", "target": "Coffee Dispensed" },
{ "source": "Add Milk", "target": "noSugar" },
{ "source": "noSugar", "target": "Dispense Coffee" },
{ "source": "Add Sugar", "target": "noMilk" },
{ "source": "noMilk", "target": "Dispense Coffee" }
]
}
Metadata
Metadata
Assignees
Labels
No labels