Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
Communications of the ACM
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
The behavior network model for conceptual information modeling
Information Systems
An executable visual formalism for object-oriented conceptual modeling
Journal of Systems and Software
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
| Hi-index | 0.00 |
An object-oriented real time systems onceptual modeling approach is described. In this approach, each object is specified by an object type, consisting of supertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and temporal constraints. That is, an object type specification defines a theory of a type of objects. An object-oriented real time conceptual model using the object types can be translated into an augmented Petri net with timing and temporal constraints. A reachability tree of permissible system states is generated for the augmented Petri nets for verifying whether the conceptual model satisfies desired temporal constraints.