Working views
The nets, maps, matrices and screens you work with inside the examples.
Hover over a tile for details. Click to see it at work.
When can the next task start?A connected Petri net makes a lifting resource and the installed roof explicit. Tokens determine which selected work events can start.
Which chain crosses every work layer?Fourteen shed tasks form eight precedence layers. The highlighted chain meets each displayed layer exactly once.
Can all five local rules agree?Five specialist exclusion rules overlap on a triangular site. Filled dots satisfy them all at the same sampled location.
Can evidence change the choice before it closes?A demand survey leads to two possible later reservations. Each signal updates the demand belief before the bus-hire deadline.
When does an answer become the next question?Landing and delivery coordinators exchange offers and requests through a shared interface. External reports and project requests remain visible at the edges.
Is a way of moving the same as a path?Teal arrows sample a rule of motion across the state cylinder. One gold trajectory follows that rule, with the same history unwrapped alongside it.
Find the feedback groupReordering the same six activities brings their mutually dependent group into one block of the matrix.
Keep three kinds of thing distinctObjectives, stakeholders and scope occupy separate layers while links connect them across a rail-project example.
See a complete crossing choiceThe selected implementation becomes two crossing sites, guide fencing and observation points in an invented landscape.
Where does the scaffolding go next?The shell’s wiring returns the excavator and threads the supplied scaffolding through walling, roofing and return. Two work branches meet at inspection.
Put the project inside its contextA context comb keeps project processes and surrounding activity in one picture, with an explicit exchange between them.
What does one more buffer day buy?The blue curve shows the model’s risk index as Development receives buffer; the bars show the next day’s marginal reduction.
Join two modules at one handover
Can everyone agree and still double-book the team?
What must travel back across an interface?A lens pairs a forward map with a backward map that may also depend on the forward-side value.
Compose two mobilisation processesTwo mobilisation boxes each produce a team and a blueprint. A swap brings like outputs to their separate merge boxes.
Look at one project through fourteen viewsA microsite project is grouped into task, schedule, cost, resource and other views. Connections distinguish relations from proposed mappings.
Do three pairwise links make a joint decision?Filled triangles record explicitly declared three-way relationships. Outlines retain the pairwise links without that additional joint relationship.
Make competition for the lane visibleThis shared-lane Petri-net fragment makes two competing starts and the return of one reusable access token visible.
Reconcile four directors’ viewsStrategy, Product, Portfolio and Operations describe the same imagined company through different kinds of objects.
Which distinctions do your coding choices remove?Two chosen same-code identifications put incidents I1, I2 and I3 into one quotient class, while I4 remains separate.
Keep plans attached to their assumptionsRegional plans are grouped by their shared context. A comparison points back towards the baseline with fewer constraints.
Separate doing from becoming trueA waste-removal job is drawn as tasks, the conditions those tasks achieve, and the roles allocated to them.
Collapse a feedback loop into one groupThe condensed graph treats the mutually connected Load model, Frame design and Foundation design as one component.
See what abstraction forgets
The plan before the cowsThe original whiteboard connects moving and pouring concrete with wagon, workers and shuttering inside a chosen scope.
Let an outside process into the planCattle-to-market and weather enter the original sketch. The road is shared, and the concrete move is crossed out.
Read joint work as a composed arrowWith two independently supplied lifts, the frame and roof task arrows can appear alongside one another in one admitted step.
Does more capacity remove the wait?
Narrow the view and notice what disappearsThe carbon objective and its two immediate outgoing objective neighbours form a small, readable neighbourhood.
Connect strategy to delivery and operationsA programme schema connects strategic objectives, programme outcomes, programmes, projects, work packages, services and consumers.
See which branch has room to moveA seven-task dependency network shows the critical branch and the float on documentation and training.
Inspect an early task-to-token translationThe first two waste-removal tasks become transitions, with states and roles represented as places carrying token properties.
Connect software tools with possible dataSoftware libraries and platforms are linked to particular datasets proposed for exploration.
Read just the task chainIdentify waste, prepare the extraction plan, commission suppliers and remove waste appear as a simple task sequence.
Choose the practices a portfolio needsThe framework groups portfolio work into governance, reporting and control, and programme/project delivery support.
Turn project records into a question worth testingData preparation branches into model comparison, visual exploration and an intended prediction route.
Decide now—or find out more first?Today’s state and decision lead through progress and new information into the next review.
Which work is enabled now?Places hold conditions and counted resources; transitions consume and produce the tokens that permit refuge work.
The same drawn endpoints, different pathsReference paths for helicopter and rope construction share drawn start and finish points; corresponding vertices can be interpolated.
What does task proximity actually mean?Sixteen numbered task dots are positioned by a repeatable affinity-layout experiment. Dashed links mark nearby positive-affinity pairs.
One history after a major revisionThe selected completed history includes review, renewed analysis, corrected drawings, resubmission and acceptance.
Follow the particular wireTyped fragments connect eight event occurrences, three owned boundary inputs and two outputs in a refuge process.
Which capabilities are retained, extended or added?An authored correspondence relates the current sell–design–build organisation to an intended organisation with explicit capability additions.
How widely do outcomes spread under one policy?The selected PFA policy produces a median and a tenth-to-ninetieth-percentile band of simulated observed temperatures by quarter.
A section makes one interpretation inspectableThe early Tangled Triangle interpretation places the canal, road, viaduct, power line and mining passage in a schematic section.
A calendar bucket can contain a hidden dependencyTwo valid antichain slices are followed by a marked bucket containing a dependency between its own activities.
Different arrows carry different obligationsPrecedence, evidence, approval and feedback links connect seven parts of the fictional cloud migration.
Which assumed arrow makes adjustment necessary?Team capacity is assumed to influence both automation and throughput, alongside the proposed automation-to-throughput effect.
The finished crossing is only part of the promiseA selected construction path separates readiness available during work from commissioned readiness after each slot.
Compare neighbourhoods without flattening relationshipsLarch Junction and North Spur share some actors while retaining distinct agreements, affiliations, alliances and tensions.
Follow an outcome back to its supporting workUnit acceptance and a clear handover site point back to installation, inspection and shared temporary-access work in one generated route.
Keep filing, interpretation and source use distinctFive selected readings connect to the Geometry of Interaction collection and enquiry through differently typed relationships.
Which concepts occur together in the reading?A detail of the supplied tag graph exposes weighted connections around categories, wiring, planning and related concepts.
Two rings, one reserved hoistThe first transition reserves the single shared hoist for ring A while ring B remains unstarted.
The next course needs the wall’s memoryOne accepted course becomes part of the wall while the line remains at its old position and the new top lacks a readiness declaration.
Carry intervals through connected calculationsSupplied estimator, checker and footprint functions propagate interval inputs through the power-and-cooling example.
An ontology separates kinds of project informationThe retained Digital Construction module map places agents among variables, entities, information, processes and contexts.
Threats cut across intended workThreat-bearing processes cut across the nested scopes of project intentions, deliberate actions and the processes implementing chosen WBS tasks.
Possible in every case, but can the handler choose?Three physically passable layouts offer no route that works across one indistinguishable group. An east-ready cue separates them into two useful choice groups.
One load connection, explicit conditionsThe roof passes a load to the wall. Each box states its capacity and flag conditions, and a Boolean combiner joins their outputs at the outer boundary.
Outputs and hoped-for benefitsGreen scope branches meet blue benefit branches through explicit contribution hypotheses.
A checklist still has gapsDelivery counts and individual staff confirmations expose exactly what remains unrecorded.
A decision record takes shapeThe questionnaire leaves a visible trail from a statement decision through its context to an accepted option.
Moving along or beyond a frontierTwo drawn curves distinguish a trade-off within the assumed options from an illustrative improvement in those options.
How two uncertainties move togetherA sampled Gaussian copula displays dependence before the uniform values are transformed into task-delay distributions.
Inspect a capability profileA selected model profile highlights an authored set of inputs, processing capabilities and outputs.
A slice of the project-tool timelineDated software milestones occupy parallel category rows, with interpretive connections between them.
A severe risk in a moderate bandDelayed materials occupies the severe-impact row at likelihood three, yielding the example’s moderate score of fifteen.
Three options tie after a weight changeRaising affordability’s weight makes three differently scored vendors joint leaders in the weighted comparison.
Four tasks, four suggested responsesA task map separates urgency from importance and exposes the threshold that creates its four suggested actions.
Follow work into a productParallel work and product hierarchies reveal the supplied relationship between enabling works and prepared sites.
Empty regions in assumed capability scoresPairwise plots compare five fictional firms with an entrant hypothesis and highlight unoccupied upper-right rectangles.
A need, a service and intervention levelsThe selected performance need maps to a suggested lead service, while intervention levels are chosen separately.
Influence and interest are different axesFour invented assessments put stakeholders in different parts of a power–interest map.
Give candidate work a primary homeA Digital Strategy workstream contains two artefacts in Contract 2, while requirements and stakeholder analysis remain unassigned.
Trace a risk judgement into a choiceA fictional concrete-quality problem is connected to risk assessments, reliability values, supplier replacement and schedule effects.
Where can this state graph get stuck?
When a review changes the next moveA review record sits above a trace of the walkthrough’s illustrative uncertainty score. The newly recognised integration and model complexity change the scripted resource decision.
Watch work, learning and debt move togetherThree time-series panels keep scope and progress, quality and morale, and velocity and capability distinct. The event log records the modelled changes behind one run.
Find the question behind a capabilityCapability columns branch into practices and numbered questions. The level filters distinguish questions about individuals, teams and the organisation.
Trace a learning route through project controlsAn orange numbered teaching route overlays the grey concept relationships. It visits cost control, performance measurement, earned value, forecasting and the project-controller role.
Put decision times beside the workA task timeline sits beside five elapsed decision-time bars. Selecting either side highlights the supplied associations between decisions and activities.
See which delay moves the finishDependency links connect seven task bars. Brown zero-float tasks form the critical route while green bars show tasks with spare time.
Keep funding and milestone claims inspectableParsed project records become a planned/forecast/actual milestone view and a funding comparison. Separate marks and labels keep dates, total forecast and spend-to-date distinguishable.
Inspect a changed task networkThe editable precedence network and task inspector expose the assumed order, duration and properties of work. A selected finish-buffer record also retains the rule that produced it.
Read what changed in a date estimateA computed what-if receipt names the three pessimistic estimates changed, compares finish percentiles and preserves an editable account of the assumptions.
Follow a change across shared interfacesFive project interfaces form a weighted relationship network beside the intervention controls. Shared parties determine how realised local changes can spill into neighbouring interfaces.
Inspect why a governance rule passesSelected workflow events generate a synthetic log and separate rule receipts. The explanations expose which declared events and approval role satisfy each check.
See why a record enters a project viewA parameterised PMO query returns typed milestone, risk and control cards with a computed risk summary. The query window, snapshot and result counts remain visible beside the output.
Locate where the material waitsQueue trajectories show accumulating material beside processing-capacity utilisation bars. Storage and assay queues can tell different stories even within the same route.
Compare the schedules behind a trade-offA discrete cost–makespan frontier sits beneath the baseline and selected schedules. Selecting an affordable point reveals which acceleration choices shorten the finish.
Group records by their shared control tagsA Formal Concept Analysis lattice pairs groups of risk records with all their shared control and evidence tags. The inspector exposes both the common attributes and the records grouped by them.
Compare a contract’s links with its placesThe same selected procurement record appears as a relationship network and a geographic projection. Buyer, supplier, framework and place remain different kinds of object.
Test a theme against its supporting textA searchable coding tree keeps an earlier theme beside the draft annotation offered to support it. The visible MRI example makes a questionable leap from a technology claim to adoption explicit.
Does a dated schedule satisfy its qualitative rules?The experiment compares ten declared Allen interval constraints with relations computed from the example’s start and finish dates.
Who owns the shared enabling work?Six generated actions are grouped into shared access, Unit A and Unit B packages, while their support and protection links remain visible.
Which dependencies have only one source?A saved SPARQL query lists seven plan-critical assertions found in the D3 example but not corroborated by the accompanying ontology.
What changes when this task is done?The gantry action card separates its preconditions, added fact and unchanged facts from physical deliverables and acceptance evidence.
Which schedule does this token history support?A generated helicopter branch becomes an earliest schedule for six task occurrences, with one reusable lifting token passed between preparation tasks.
Which extra rules did the stages invent?Three solid dependency arrows form an N-shaped order. Two dashed arrows expose additional ordering introduced by the stage grouping.
What must the response cover before the review arrives?The calculated review state retains current analysis and drawings while listing three uncontrolled outcomes the response policy must handle.
Do the local plans agree on their shared tasks?A scheduled attempt sits above the overlap table: Planning and Integration disagree on B’s start, while Integration and Delivery disagree on C.
Can either response meet both shared bounds?Two supplied responses fail different constraints: the faster consent-pipeline patch costs too much, and cheaper aggregate reporting takes too long.
Who can distinguish a completed move?Six admitted histories are marked by whose local view still permits them. The actual completed move is outlined, but the curator still considers unfinished cases possible.
What is the least information work this brief needs?Exhaustive comparison of 64 intervention subsets returns two equally cheapest arrangements: a route cue and a scheduled curator inspection.
Is adapting worth the survey and the wait?The existing value bridge separates the gain from adapting the bus reservation from survey fees and waiting costs, leaving a net policy value of 17.5.
Can the same brick count permit different next moves?A computed counterexample pairs two states with no placed bricks: one can start B’s first brick, while the other has already reserved the hoist for that placement.
Can we regroup without changing the behaviour?The published associativity panel shows two groupings of the same typed chain alongside the completed comparison of 216 relation triples.
Do lanes and stages give the same composite?Two independent typed chains are grouped by lane, with the interchange equation and the completed check of 1,296 relation quadruples.
What is the difference between false and no allowed result?The overloaded-wall calculation returns an empty set of permitted outputs, while a separate total diagnostic returns false.