基于T-不变量消除的Petri网合法变迁引发序列判定算法

Petri网的合法变迁引发序列问题(LFS)是其可达性问题的子问题。前人在LFS判定时常因判定算法的指数级时空复杂度或算法难以推广至一般Petri网而受限。因此,基于Petri网T-不变量支集变迁与可达图有向环路上标注变迁的对应关系,综合应用线性代数与可达树分析,原LFS判定被缩减为以基础向量为发生数向量的LFSb判定。通过两棵可达树(分别以原网、初始标识;逆网、目的标识为根)层序轮流构造同时比较当前叶节点层中的标识,若算法终止前有相同标识出现,则LFSb(LFS)判定成功;反之,LFS判定失败。分析表明,算法的时间复杂度为多项式级别的,且适用于一般Petri网的LFS判定。

合法变迁引发序列判定中的T-不变量添加

Petri网的合法变迁引发序列(Legal Firing Sequence,简称LFS)问题是Petri网可达性问题的子问题,目前已有较多的研究成果。通过反例指出,对于Petri网(N,M0)状态方程的任意一个非负整数解X,和N的任意一个T-不变量,LFS(N,M0,X)不一定等于LFS(N,M0,X+Y)。在一般情况下,不能在待判定的解向量X中添加T-不变量。这是Petri网合法变迁引发序列判定的一个性质。

从“公益性”到“专业性”——市场化转向中草根非营利组织的合法性变迁研究

为了提升供给效率与服务质量,政府在公共服务领域中引入竞争机制,催生了非营利组织的市场化转向,引发了组织的合法性危机。过往文献多着重于探讨非营利组织维护其公益性合法性基础的努力,忽略了市场化变革中非营利组织合法性可能发生的转变。本研究以草根非营利组织N机构为例,发现N机构面对竞争压力,为了维持生存,进行市场化改革,主动消解自己的公益性形象,专业性话语崛起并成为了机构新的社会合法性来源。然而在实践中,这一专业性话语被异化,非营利组织对专业性的追求沦为形式。基于以上分析,研究者提出了组织合法性变迁的机制:利益相关者对组织使命的认同为原组织合法性的动摇提供了可能,而他们对组织绩效的评价则是新组织合法性崛起的动力。本文揭示了一种不同的非营利组织变迁模式,指出了非营利组织变迁过程中组织合法性基础转变的可能性,并提出应将利益相关者对组织合法性的判断纳入组织合法性的分析框架之中。

论宪法变迁与中央政府变革的函变关系

宪法变迁是立宪主义国家面临社会经济、政治危机时的制度供给手段,是社会事实与规范系统相互调适后的制度表达。近代以来西方宪政发展历程中宪法变迁与中央政府变革呈现出相互作用的四对函变关系,并呈现出"合法"变迁的总特征。这些历史经验,对中国特色社会主义宪政建设实现宪法规范和社会事实之间的适应具有重要参考意义。

一种离散时间区间Petri网

运用Petri网对实际系统进行建模时,事件的发生往往必须在一个时间区间序列内。针对此问题,提出一种离散时间区间Petri网模型。着重对模型的可达性进行了分析,给出模型的合法变迁序列判定算法,并在此基础上提出模型的状态可达性判定算法。通过实例分析,验证了所提的离散时间区间Petri网模型的可行性和有效性,该模型可用于工作流分析、业务过程建模等领域,能够进一步增强Petri网对离散事件系统的模拟与分析能力。

组织变迁、合法性规范与非公有制企业党建

随着市场经济的深入发展,我国非公有制经济企业数量快速增长。在调和资本扩张和社会主义意识形态之间的张力时,非公有制企业党建成为一项重要的制度创新。然而在实践过程中,党建显然未能有效嵌入于非公有制企业的行为选择中,致使这项工作的成效甚微。本文舍弃了现有研究作为外在"介入者"的审视视角,选取一个党建工作较有成效的非公有制企业进行考察。试图通过分析H集团接纳党建工作的内在逻辑,揭示非公有制企业党建的规律。研究发现:非公有制企业能主动将党建工作作为企业发展的一部分,与企业所面临的合法性规范紧密相关。这种合法性规范包括来自于党组织的约束性规范、来自于行业部门的示范性规范和来自于社会公众的期望性规范,且主要由企业组织变迁所引起。