S-invariant analysis of general recursive Petri boxes
type: Item
instance of: scholarly article
title: S-invariant analysis of general recursive Petri boxes
zbMATH Open document ID: 0827.68080
author: Raymond Devillers
published in: Acta Informatica
publication date: 1995-07-24T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 778291
zbMATH Keywords: Petri box calculus
zbMATH Keywords: Petri boxes
MaRDI profile type: Publication
Recommended article: Q4281515
Recommended article: Computing parameterized invariants of parameterized Petri nets
Recommended article: Computing Parameterized Invariants of Parameterized Petri Nets
Recommended article: Verification: Theory and Practice
Recommended article: Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets
Recommended article: Reachability analysis in T-invariant-less petri nets
Recommended article: Symbolic analysis of bounded Petri nets
Recommended article: Invariants of timed Petri nets
Recommended article: A Reachability Algorithm for General Petri Nets Based on Transition Invariants
Recommended article: Applications and Theory of Petri Nets 2005
description: scientific article; zbMATH DE number 778291