论文信息 - Deterministic Systems of Sequential Processes: Theory and Tools

Deterministic Systems of Sequential Processes: Theory and Tools

In this paper, we present an analysis of an interesting class of Petri nets : Deterministic systems of sequential processes. We give an extension of this class and new theoretical results. We show how these theorems have been implemented by rules in an expert system for Petri nets analysis.

Nicolas Beldiceanu | Younes Souissi

[1] Nicolas Beldiceanu. Langage de regles et moteur d'inferences bases sur des contraintes et des actions : application aux reseaux de petri , 1988 .

[2] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[3] Rina Dechter,et al. Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..