scientific article; zbMATH DE number 1293728

zbMATH Open0921.68062MaRDI QIDQ4246005FDOQ4246005

Authors: Yushun Fan, Quan Ma, Jun Zhang 

Publication date: 31 May 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Petri net

Mathematics Subject Classification ID

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

Cited In (6)

• Object-oriented simulation of systems with sophisticated control
• Integrated Formal Methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)