line::qn::GlobalSync< T > Struct Template Reference

A GLOBAL synchronization: an SPN mode event and the place arcs it drives. More...

#include <line/lang/qn/state_events.h>

Collaboration diagram for line::qn::GlobalSync< T >:

Public Attributes
ModeEvent< T >	active
std::vector< ModeEvent< T > >	passive

Detailed Description

template<class T>
struct line::qn::GlobalSync< T >

A GLOBAL synchronization: an SPN mode event and the place arcs it drives.

Unlike an ordinary Sync, which pairs ONE active with ONE passive, a firing touches every input and output place at once – that atomicity is what makes a Petri net transition a transition. PRE passives consume, POST produce, and LOCAL passives are read-only (an inhibitor place, whose marking is tested but never moved).

Definition at line 3191 of file state_events.h.

Member Data Documentation

active

template<class T>

ModeEvent<T> line::qn::GlobalSync< T >::active

Definition at line 3192 of file state_events.h.

Referenced by line::qn::after_global_event(), and line::qn::refresh_global_sync().

passive

template<class T>

std::vector<ModeEvent<T> > line::qn::GlobalSync< T >::passive

Definition at line 3193 of file state_events.h.

Referenced by line::qn::after_global_event(), and line::qn::refresh_global_sync().

---

The documentation for this struct was generated from the following file:

• include/line/lang/qn/state_events.h