Statecharts: A visual formalism for complex systems
Science of Computer Programming
Transforming Petri nets into event graph models
WSC '94 Proceedings of the 26th conference on Winter simulation
Building reusable simulators using hierarchical event graphs
WSC '95 Proceedings of the 27th conference on Winter simulation
Eliminating canceling edges from the simulation graph model methodology
WSC '96 Proceedings of the 28th conference on Winter simulation
Simulation modeling with event graphs
Communications of the ACM
Modeling concurrent real-time processes using discrete events
Annals of Software Engineering
DEVS Formalism: A Framework for Hierarchical Model Development
IEEE Transactions on Software Engineering
A component-based approach to modeling and simulating mixed-signal and hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Modeling very large scale systems: building complex models with LEGOs (Listener Event Graph Objects)
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
Computer
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Heterogeneous composition of models of computation
Future Generation Computer Systems
Hi-index | 0.00 |
Many modeling techniques for embedded systems focus on events that occur in time and the causality relationships between them. Event-oriented modeling complements class-oriented, object-oriented, actor-oriented and state-oriented approaches. To facilitate event-oriented modeling, we have extended an older established model called event graphs to define new model of computation that we call Ptera (Ptolemy event relationship actors). Ptera is appropriate for modeling complex discrete-event systems. A key capability is that Ptera models conform with an actor abstract semantics that permits hierarchical composition with other models of computation such as discrete-event actors, dataflow, process networks and finite state machines. This enables their use in complex system design, where not every aspect of the system is best described with event-oriented modeling.