Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis

DOI10.1007/11795131_106zbMath1196.68164OpenAlexW1601292205MaRDI QIDQ5757972

Peifa Jia, Hua Xu

Publication date: 7 September 2007

Published in: Rough Sets and Knowledge Technology (Search for Journal in Brave)

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

zbMATH Keywords

Petri netstemporal knowledgeObject-oriented methods

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence for robotics (68T40)

This page was built for publication: Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis