Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

stbx-core: Implement transition firing #328

Open
2 tasks
marcosh opened this issue Jan 27, 2020 · 0 comments
Open
2 tasks

stbx-core: Implement transition firing #328

marcosh opened this issue Jan 27, 2020 · 0 comments
Assignees
@marcosh
Milestone
cloud-tx-service

Comments

@marcosh
Copy link
Contributor

marcosh commented Jan 27, 2020 •
edited by epost
Loading

Port logic for transition firing from ReasonML codebase.

In particular:

Erik's notes:

  • IMPORTANT: Changing the meaning of preMarking like this will lead to bugs, at the very least in PetriNetEditor (see here), and possibly elsewhere.

  • ArrayMultiset.countMap invocation introduced here: is it fast enough? It replaces Marco's original code.
@marcosh marcosh added this to the cloud-tx-service milestone Jan 27, 2020
@marcosh marcosh self-assigned this Jan 27, 2020
marcosh added a commit that referenced this issue Jan 31, 2020
@marcosh
[#328] [stbx-core] start defining WiringTree data structure
2557b9b
marcosh added a commit that referenced this issue Jan 31, 2020
@marcosh
[#328] [stbx-core] linearisation of wiring tree
a051324
marcosh added a commit that referenced this issue Jan 31, 2020
@marcosh
[#328] [stbx-core] linearisation of wiring tree
2a8484c
marcosh added a commit that referenced this issue Jan 31, 2020
@marcosh
[#328] [stbx-core] linearisation of wiring tree
19b3060
marcosh added a commit that referenced this issue Jan 31, 2020
@marcosh
[#328] [stbx-core] start defining WiringTree data structure
dec939e
marcosh added a commit that referenced this issue Jan 31, 2020
@marcosh
[#328] [stbx-core] linearisation of wiring tree
19f5f06
epost added a commit that referenced this issue Jan 31, 2020
@epost
[#328] [stbx-core] Fix 'linerisation' typo.
5ac7980
epost added a commit that referenced this issue Jan 31, 2020
@epost
[#328] [stbx-core] Fix 'linerisation' typo.
9bbdebd
epost added a commit that referenced this issue Jan 31, 2020
@epost
[#328] [stbx-core] Fix 'linerisation' typo and settle on -ize instead…
9b8b8bb 
… of -ise.
epost added a commit that referenced this issue Jan 31, 2020
@epost
[#328] [stbx-core] Fix typos and standardise spelling and naming.
51ff7ac
marcosh added a commit that referenced this issue Feb 3, 2020
@marcosh
[#328] [stbx-core] start defining WiringTree data structure
3cf00d0
marcosh added a commit that referenced this issue Feb 3, 2020
@marcosh
[#328] [stbx-core] linearisation of wiring tree
ad0fc22
marcosh pushed a commit that referenced this issue Feb 3, 2020
@epost @marcosh
[#328] [stbx-core] Fix typos and standardise spelling and naming.
bf17c40
marcosh added a commit that referenced this issue Feb 3, 2020
@marcosh
[#328] [stbx-core] restructure imports for Statebox.Core.Lenses
a221525
marcosh added a commit that referenced this issue Feb 4, 2020
@marcosh
[#328] [stbx-core] remove unused imports
0794941
marcosh added a commit that referenced this issue Feb 4, 2020
@marcosh
[#328] [stbx-core] split Transition module from WiringTree
3afab48
marcosh added a commit that referenced this issue Feb 4, 2020
@marcosh
[#328] [studio-common] empty marking
2cb42f5
marcosh added a commit that referenced this issue Feb 4, 2020
@marcosh
[#328] [stbx-protocol] implement transition firing
f59814e
marcosh added a commit that referenced this issue Feb 4, 2020
@marcosh
[#328] [studio-common] refactor to make explicit the subtraction in f…
5fd464c 
…iring
epost added a commit that referenced this issue Feb 5, 2020
@epost
[#328] [stbx-core] Reduce intermediate data structures.
ec9d08e
epost added a commit that referenced this issue Feb 5, 2020
@epost
[#328] [stbx-core, stbx-proto] Commit collaboration session changes.
b0e7c25
epost added a commit that referenced this issue Feb 5, 2020
@epost
[#328] [stbx-core, stbx-proto] Replace emptyMarking by mempty.
7e2236b
marcosh added a commit that referenced this issue Feb 6, 2020
@marcosh
[#328] [studio-common, stbx-protocol] check if transition is enabled …
c641365 
…before firing
epost added a commit that referenced this issue Feb 6, 2020
@epost
[#328] [stbx-proto] Don't depend on halogen-petrinet-editor for type …
e93e30b 
…Marking.
epost added a commit that referenced this issue Feb 6, 2020
@epost
[#328] [stbx-core] Use Tokens instead of Int and mark copied types.
e33fd32
epost added a commit that referenced this issue Feb 6, 2020
@epost
[#328] [stbx-core] Rename buildTokens to buildTransitionMarking.
606a2bc
epost added a commit that referenced this issue Feb 7, 2020
@epost
[#328] [stbx-core] Replace code by invocation of ArrayMultiset.countMap.
bf402b0
@epost epost changed the title Implement transition firing stbx-core: Implement transition firing Feb 7, 2020
marcosh added a commit that referenced this issue Feb 20, 2020
@marcosh
[#328] [studio-common] refactor to make explicit the subtraction in f…
1220cef 
…iring
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core] Reduce intermediate data structures.
d42c87c
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core, stbx-proto] Commit collaboration session changes.
0d3d524
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core, stbx-proto] Replace emptyMarking by mempty.
0065c4c
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-proto] Don't depend on halogen-petrinet-editor for type …
d39eae9 
…Marking.
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core] Use Tokens instead of Int and mark copied types.
d28b47d
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core] Rename buildTokens to buildTransitionMarking.
03b1b41
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core] Replace code by invocation of ArrayMultiset.countMap.
d8c9a46
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
studio-common: Depend on stbx-core. #328
7d72c67
marcosh pushed a commit that referenced this issue Feb 20, 2020
@epost @marcosh
[#328] [stbx-core] Introduce modle Statebox.Core.Marking and simplify…
8463a97 
… dependencies.
marcosh added a commit that referenced this issue Feb 20, 2020
@marcosh
[#328] [studio-common, stbx-protocol] check if transition is enabled …
dcb28d3 
…before firing
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [stbx-core] start defining WiringTree data structure
5e72206
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [stbx-core] linearisation of wiring tree
c0e8e21
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core] Fix typos and standardise spelling and naming.
db9bfa7
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [stbx-core] restructure imports for Statebox.Core.Lenses
0796df8
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [stbx-core] remove unused imports
75a83b5
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [stbx-core] split Transition module from WiringTree
77dc921
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [studio-common] empty marking
0eb871f
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [stbx-protocol] implement transition firing
577bf0c
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [studio-common] refactor to make explicit the subtraction in f…
7b23c59 
…iring
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core] Reduce intermediate data structures.
801e86a
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core, stbx-proto] Commit collaboration session changes.
fdde102
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core, stbx-proto] Replace emptyMarking by mempty.
1018e92
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-proto] Don't depend on halogen-petrinet-editor for type …
f66e25b 
…Marking.
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core] Use Tokens instead of Int and mark copied types.
e63708b
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core] Rename buildTokens to buildTransitionMarking.
3ea1248
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core] Replace code by invocation of ArrayMultiset.countMap.
716da98
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
studio-common: Depend on stbx-core. #328
3f6ffd4
marcosh pushed a commit that referenced this issue Feb 26, 2020
@epost @marcosh
[#328] [stbx-core] Introduce modle Statebox.Core.Marking and simplify…
398fcb2 
… dependencies.
marcosh added a commit that referenced this issue Feb 26, 2020
@marcosh
[#328] [studio-common, stbx-protocol] check if transition is enabled …
66e42fe 
…before firing
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@marcosh marcosh

Labels
None yet
Projects
None yet
Milestone
cloud-tx-service
Development

No branches or pull requests
1 participant
@marcosh