TanYC的博客

本章的目的是通过分析一些Petri网子类的活性和可达性的判定方法，使得Petri网的动态性质分析更加简便。

对于 Petri 网进行分析的另一种方法是考察网系统中**所有可能发生的变迁序列**以及**这些序列所构成的集合**的性质。如所周知，一个**字母表**上**满足某些特定条件的字符串**的**集合**，称为该字母表上的一个**语言**。如果我们把一个 Petri 网的**变迁集** $T$ 看作一个**字母表

正如 Petri 网的一个标识可以表示成一个 $ m $ 维非负整数向量一样，Petri 网的结构也可以用一个矩阵来表示。这样，就可以引入线性代数的方法对 Petri 网的性质进行分析。设 Σ=(S,T;F,M)\Sigma = (S, T; F, M)Σ=(S,T;F,M) 为一个 Petri 网，S={s1,s2,…,sm}S = \{s_1, s_2, \ldots, s_m\}S={s1​,s2​,…,sm​}，T={t1,t2,…,tn}T = \{t_1, t_2, \ldots, t_n\}T

设ΣST;FM0​为一个有界 Petri 网。Σ的可达标识图定义为一个三元组RGRGRGΣRM0EPΣRM0​EP,其中EMiMj∣MiMj∈RM0∃tk∈TMitkMjEMi​Mj​∣Mi​Mj​∈RM0​∃tk​∈TMi​tk​Mj​PE→TP: E\to TPE→T。

在这个问题中，我们对“葫芦”增加了一个限制：组成“葫芦”的五张牌牌面值之和不能超过给定的最大值 max。> 2，其中 A 的牌面值为1，K 为13，依此类推。给定一组牌，你需要找到符合规则的最大的“葫芦”组合，并输出其中三张相同的牌面和两张相同的牌面。如果找不到符合条件的“葫芦”，则输出 “0, 0”。，需要找出两个不同的数字，一个至少出现三次，另一个至少出现两次，并且这五张牌的总和不能超过给定的最大值。“葫芦”由五张牌组成，其中包括三张相同牌面值的牌。如果找到符合条件的组合，返回这两个数字的索引；

在多个进程共享一个数据项的情况下，各个进程对数据项的最基本操作是读和写。然而，一个进程读到数据项的值后，通过计算可能修改数据项的值，然后写回原处。在这种情况下，另一个进程是使用这个数据项的原值还是使用更新后的值，结果是不一样的。如果要使用更新后的值，就应设置临界段，要求一个进程使用共享的数据项期间，另一个进程不能读取这个数据项。信号量是一个非负整数量，一个 V 操作使信号量的值加 1，而一个 P 操作使信号量的值减 1。而生产者进程能够运行的条件是缓冲寄存器不溢出，因为缓冲寄存器的容量一般是有限制的。

环状 DNA 又称超螺旋，即一段碱基序列呈现环状，在分析时，需要将相同序列的环状 DNA 分到相同组内，现需将环状碱基序列按照最小表示法进行排序。一段长度为n的碱基序列，按照顺时针方向，碱基序列可以从任意位置起开始该序列顺序，因此长度为n的碱基序列有n种表示法。例如：长度为 6 的碱基序列CGAGTC，有CGAGTCGAGTCCAGTCCG等表示法。在这些表示法中，字典序最小的称为“最小表示”。输入一个长度为nn

Base32 是 Base64 的变种，与 Base64 不同的地方在于 Base64 以 6 bit 为一组作为索引，而 Base32 以 5 bit 为一组作为索引，每一组用一个 ASCII 字符表示。Base 64 总共需要 64 个字符表示，而 Base32 则只需要 32 个字符表示。相比于 Base32，你可能更熟悉 Base64，Base64 是非常常见的用字符串形式表示二进制数据的方式，在邮件附件、Web 中的图片中都有广泛的应用。你需要实现一个 Base32 的编码和解码函数。

Petri网的一大突出优点就是便于描述并发与冲突，其中同步与并发的概念紧密相连考察图 1.15 的基本网系统Σ1=(B,E;F,c0)\Sigma_1=(B,E;F,c_0)Σ1​=(B,E;F,c0​) ,其中c0={b1,b2}c_0=\{b_1,b_2\}c0​={b1​,b2​}。在情态c0c_0c0​下事件e2e_2e2​和e3e_3e3​都有权发生。这是因为∙e2={b1}⊆c0 且e2∙∩c0={b3}∩{ b1,b2 }=∅∙e3={b2}⊆c0 且e3∙∩c0={b4}∩{ b1,b2 

基本网系统是一个四元组ΣBE;FcF,c)ΣBE;Fc,其中1BE;F1)(B,E;F)1BE;F是一个网，BBB称为条件集(condition set),EEE称为事件集(event set),c⊆Bc⊆B称为Σ\SigmaΣ的一个情态(case)。2)事件e∈Ee\in Ee∈E在情态ccc有发生权(记作cec[e>)ce,当且仅当∙e⊆c∧e∙∩c∅∙e⊆c∧e∙∩。

六元组ΣST;FKWM称为一个库所/变迁系统(place/transition system)，其中1 )ST;F( S, T;F)ST;F是一个网，WF→123⋯WF→123⋯称为权函数(weighted function)KS→123⋯KS→123⋯称为容量函数(capacity function)MS→012⋯MS→012⋯是Σ。

它可以接收一个递增的数据范围（形如[3, 9]），其中第一个数字代表起始，第二个数字代表结束。在传入的多组数据范围中，如果出现了范围的重复，机器则不会重复打点。你可以帮助小明算一算，在不同的情况下，计数器会打出几个点么？一个整数，表达在输入是这个数组的情况下，计数器打出的点数。这个数据范围中包含几个数字，打点计数器就会打几个点。

在广告平台中，为了给广告主一定的自由性和效率，允许广告主在创造标题的时候以通配符的方式进行创意提交。线上服务的时候，会根据用户的搜索词触发的 bidword 对创意中的通配符（通配符是用成对 {} 括起来的字符串，可以包含 0 个或者多个字符）进行替换 ，用来提升广告投放体验。adcdcefdfeffe 可以看作 ad{}cdc{efd}f{eff}e 或者 ad{}cdc{efdfe}f{f}e 替换生成，但是无论哪种替换方式都是符合该创意 ad{xyz}cdc{y}f{x}e。

要解决这个问题，我们可以使用动态规划（Dynamic Programming, DP）的方法。这个方法非常适合解决涉及字符串编辑距离的问题，比如 DNA 碱基序列的转换。我们将使用经典的编辑距离算法（也称为莱文斯坦距离算法）。给定一段受损的 DNA 碱基序列 dna1，在每次只操作一个碱基的情况下，将其以最少的操作步骤将其还原到未受损的 DNA 碱基序列 dna2。GCCGAGC -> GCTGAGC（将 C 替换为 T）AGCTTAGC -> AGCTAGC（删除 T）个字符所需的最小操作数。

AB 实验同学每天都很苦恼如何可以更好地进行 AB 实验，每一步的流程很重要，我们目标为了缩短所需的步数。我们假设每一步对应到每一个位置。从一个整数位置x走到另外一个整数位置y，每一步的长度是正整数，每步的值等于上一步的值-1+0+1。求x到y最少走几步。并且第一步必须是1，最后一步必须是1，从x到y最少需要多少步。

Petri网导论学习笔记，1.2 原型Petri网，介绍了原型Petri网的构成和变迁规则。

Petri网导论1.1后半部分

在初始化二维列表时，直接使用的方式会导致所有行引用同一个列表对象。这种行为在修改二维列表中的元素时会造成每一行的列表会存储到相同的物理地址。解决该问题的最佳方法是使用列表推导式生成独立的行对象，确保每一行都是互相独立的，从而避免修改一个元素时影响其他元素。

Petri网第一章网与子网学习笔记

学习用书：Petri网导论Petri网是分布式系统的建模和分析工具。其中对真并发的恰切描述是Petri网的独特优势。1962年由德国科学家Carl Adma Petri在他的博士论文“Kommuunikation mit Automaten”（用自动机通信）提出。