scientific article; zbMATH DE number 1293728

MaRDI QIDQ4246005zbMATH OpenFDO

Authors Yushun Fan, Quan Ma, Jun Zhang

Publication date 31 May 1999

zbMATH Keywords

Petri net

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1686268
• Integrated Formal Methods
• Software modeling and analysis using a hierarchical object-oriented Petri net
• scientific article; zbMATH DE number 853730
• Controlled Petri nets as a tool of control discrete systems simulation
• An object-oriented tool for simulating distributed real-time control systems
• A Petri net-based object-oriented approach for the modelling of hybrid productive systems
• scientific article; zbMATH DE number 2247125

Cited in

(6)

• Object-oriented simulation of systems with sophisticated control
• Integrated Formal Methods
• scientific article; zbMATH DE number 2117130 (Why is no real title available?)
• scientific article; zbMATH DE number 482861 (Why is no real title available?)
• New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets
• Applications and Theory of Petri Nets 2004

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246005)