Petri nets: an introduction
The construction of EN systems from a given trace behavior
Advances in Petri Nets 1988
Composition of nets Via a communication medium
APN 90 Proceedings on Advances in Petri nets 1990
The unified software development process
The unified software development process
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Compositional Synthesis of Live and Bounded Free Choice Petri Nets
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
On Liveness in Extended non Self-Controlling Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
On the analysis and synthesis of free choice systems
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
On liveness preservation by composition of nets via a set of places
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
On net systems generated by process foldings
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Top-down synthesis of live and bounded free choice nets
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
A Scenario-Based Approach to Hierarchical State Machine Design
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Elimination of Duplicate Labels in Petri-Net-Based System Specification
CIT '05 Proceedings of the The Fifth International Conference on Computer and Information Technology
Information Processing Letters
New characterization for live and reversible augmented marked graphs
Information Processing Letters
Unified Modeling Language Reference Manual
Unified Modeling Language Reference Manual
UCM-ROOM modelling: from use case maps to communicating state machines
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A Petri net synthesis theory for modeling flexible manufacturing systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Two theoretical and practical aspects of knitting technique: invariants and a new class of Petri net
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A Petri Net Based Method for Refining Object Oriented System Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Real-time scheduling of batch systems using Petri nets and linear logic
Journal of Systems and Software
Hi-index | 0.00 |
In use-case-driven system design, one need to derive from a set of use cases an integrated system design that meets at least two objectives. First, the system design must be consistent with the use cases in the sense that the functionalities of the use cases are exactly reflected. Second, the system design must be correct in the sense that the system is free from errors such as deadlock and capacity overflow. The latter is especially important for systems involving some concurrent, sequential, asynchronous, competitive and coordinated processes, such as manufacturing systems. In this paper, we propose a synthesis methodology for use-case-driven system design whereby both objectives are satisfied. In our methodology, use cases are specified as labelled Petri nets, in which the conditions, events and their causal relationships are explicitly represented. A system design is then derived by synthesising these nets into a single consistent whole. Our methodology has two distinctive features, namely, a formal specification of use cases and a rigorous and systematic process for deriving a system design whose correctness and consistency can be optimally achieved. We specifically show its application to manufacturing system design. Promising results are obtained.