S- and T-invariants in cyber net systems

DOI10.1007/BF02943491zbMath0837.68079OpenAlexW162138044MaRDI QIDQ1894326

Chongyi Yuan

Publication date: 29 April 1996

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943491

zbMATH Keywords

program specificationPetri netCyber netsself-modifying nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: S- and T-invariants in cyber net systems