Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Jade Master"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 283, Iss Proc. CAPNS 2018, Pp 50-61 (2018)
The categorical compositional distributional (DisCoCat) model of meaning developed by Coecke et al. (2010) has been successful in modeling various aspects of meaning. However, it fails to model the fact that language can change. We give an approach t
Externí odkaz:
https://doaj.org/article/0a28954069f746feb658c6b957b967b9
Autor:
Jade Master
Publikováno v:
Mathematical Structures in Computer Science. 30:833-864
We give a definition of $\mathsf{Q}$-net, a generalization of Petri nets based on a Lawvere theory $\mathsf{Q}$, for which many existing variants of Petri nets are a special case. This definition is functorial with respect to change in Lawvere theory
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0a6c451ba2d3f76351a580f00523a6d1
https://doi.org/10.1017/s0960129520000262
https://doi.org/10.1017/s0960129520000262
Publikováno v:
LICS
We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less well-studied notion that we call $\Sigma$-nets, which allow finer control over whether tokens are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c8c5269b239166c83929ef9258b975c
https://doi.org/10.1109/lics52264.2021.9470566
https://doi.org/10.1109/lics52264.2021.9470566
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783030542481
Diagrams
Diagrams
Assembly planning is a difficult problem for companies. Many disciplines such as design, planning, scheduling, and manufacturing execution need to be carefully engineered and coordinated to create successful product assembly plans. Recent research in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7791d3b47ff65bae30dd9facc4ea6e62
https://doi.org/10.1007/978-3-030-54249-8_14
https://doi.org/10.1007/978-3-030-54249-8_14
Publikováno v:
CAPNS@QI
Electronic Proceedings in Theoretical Computer Science, Vol 283, Iss Proc. CAPNS 2018, Pp 50-61 (2018)
Electronic Proceedings in Theoretical Computer Science, 283, 50-61. Open Publishing Association
Electronic Proceedings in Theoretical Computer Science, Vol 283, Iss Proc. CAPNS 2018, Pp 50-61 (2018)
Electronic Proceedings in Theoretical Computer Science, 283, 50-61. Open Publishing Association
The categorical compositional distributional (DisCoCat) model of meaning developed by Coecke et al. (2010) has been successful in modeling various aspects of meaning. However, it fails to model the fact that language can change. We give an approach t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::41f6489cb36954372052958083fd443b
https://doi.org/10.4204/eptcs.283.4
https://doi.org/10.4204/eptcs.283.4
Autor:
John C. Baez, Jade Master
The reachability semantics for Petri nets can be studied using open Petri nets. For us an "open" Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the outputs of one t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9503657f91988db515deabf5c3424ba
http://arxiv.org/abs/1808.05415
http://arxiv.org/abs/1808.05415