Petri nets: an introduction
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
Trends in information systems
Clocks and their use for time modeling
Trends in information systems
SADT: structured analysis and design technique
SADT: structured analysis and design technique
Strategies for real-time system specification
Strategies for real-time system specification
An extended systems modeling language (ESML)
ACM SIGSOFT Software Engineering Notes
Embedded behavior pattern languages: a contribution to a taxonomy of case languages
Journal of Systems and Software
Control transformations through Petri Nets
ACM SIGSOFT Software Engineering Notes
Timed Petri nets and application to multi-stage production systems
Advances in Petri nets 1989
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Formal definition and verification of data flow diagrams
Journal of Systems and Software
Causality, time, and deadlines
Data & Knowledge Engineering
High-level Petri nets: theory and application
High-level Petri nets: theory and application
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
The Challenge of Building Process-Control Software
IEEE Software
Extensions to Coloured Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part I
Constructs for Modeling Information Systems with Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling station duty officer operations assistant at Johnson space center
Advances in Engineering Software
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Toward flexible and fault tolerant intelligent manufacturing: Sensible agents in shop-floor control
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Formal interpreters for diagram notations
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
A graphics-based language known as ESML (extended systems modeling language), which is an extension of the data flow diagram notation for representing control logic in models of real-time systems, is analyzed and summarized to provide a rigorous interpretation of ESML symbols and their combinations. Based on elementary and compact (high-level) Petri nets (PNs), to which a succinct introduction is given, formal foundations for ESML, and in particular for its transformation schema (TS) notation, are proposed. Translation principles as well as examples of usual transformation and flow patterns are presented both in TS and PN notation. The resulting PN models are rigorous and accurate models of the dynamics of real-time systems with signals, prompts, and data flows of various kinds. Due to their formally defined token game they can be executed and used to study indeterminism and concurrency of events.