Article

Free access

Design of SEMA: A software system for computer-aided modelling and simulation of sequential machines

Authors:

Tuncer I. Ören and

Brian CollieAuthors Info & Claims

WSC '80: Proceedings of the 12th conference on Winter simulation

January 1980

Pages 113 - 123

Published: 01 January 1980 Publication History

Abstract

SEMA (SEquential MAchines) is a theory-based comprehensive computer-aided modelling and model processing system. The modelling methodologies of the current version of SEMA are finite-state machines (Moore and Meally) and Markov chains. In this paper, modelling features, computer-aided modelling facilities, and the highlights of some other features of the SEMA system are discussed.

References

[1]

Elmqvist, H. (1978), A structured model language for large continuous systems, Ph.D. dissertation, Lund Institute of Technology, Lund, Sweden, 226p.

[2]

Elzas, M.S. (1979), "What is needed for robust simulation?" in B.P. Zeigler et al. (eds.) Methodology in systems modelling and simulation, North-Holland, Amsterdam, pp. 57-91.

[3]

Gill, A. (1962), Introduction to the theory of finite state machines, McGraw Hill, NY, 1962

[4]

Klir, G.J. (1978), "Computer-aided system modelling," in Halfon, E. (ed.) Systems Theory in Ecology, Academic Press, New York.

[5]

Kuznetsov, O.P. et al. (1972), "YaRUS - A language for describing the operation of complex automata," Automation and Remote Control, Vol. 33, pp. 956-963, 1195-1203.

[6]

Ören, T.I. (1974), "Deductive general system theories and simulation of large-scale systems," Proceedings of Summer Computer Simulation Conference, Houston, Texas, pp. 13-16.

[7]

Ören, T.I. (1978), "Rationale for large-scale system simulation software based on cybernetics and general system theories," in T.I. Ören (ed.) Cybernetics and modelling and simulation of large-scale systems, International Association for Cybernetics, Namur, Belgium, pp. 151-179.

[8]

Ören, T.I. (1979), "Concepts for advanced computer-assisted modelling," in B.P. Zeigler et al (eds.) Methodology in systems modelling and simulation, North-Holland, Amsterdam, pp. 29-55.

[9]

Ören, T.I. (1980a), Computer-aided modelling systems, Technical Report No. TR 80.10, Computer Science Dept., Univ. of Ottawa, 7 p. Will be published in the Proceedings of SIMULATION '80.

[10]

Ören, T.I. (1980b), Concepts and criteria to assess acceptability of simulation studies: a frame of reference, Technical Report TR 80.03, Computer Science Dept., University of Ottawa, 51 p.

[11]

Ören, T.I. (1980c), "New directions in system simulation - methodology and software," Proceedings of the International Symposium on Systems Analysis and Simulation, Berlin, E. Germany, September 1 - 5, 1980 (In Press).

[12]

Ören, T.I. and den Dulk, J. (1978), Ecological models expressed in GEST 78, report prepared for the Department of Theoretical Production Ecology, Dutch Agricultural University, Wageningen, the Netherlands.

[13]

Ören, T.I., Zeigler, B.P. (1979), "Concepts for advanced simulation methodologies," Simulation, Vol. 32, No.3, pp. 69-82.

[14]

Uyttenhove, Hugo J.J. (1978), Computer-aided systems modelling: An assemblage of methodological tools for systems problem solving, Ph.D. dissertation, SUNY Binghampton, NY.

Digital Library

[15]

Wilkens, E.J. (1977), Finite State Techniques in Software Engineering, Proceedings of IEEE COMPSAC 77, pp. 691-697.

[16]

Zeigler, B.P. (1979), "Modelling and simulation methodology: state-of-the-art and promising directions," Keynote paper, IMACS Congress, Sorrento, Italy.

[17]

Zeigler, B.P. (1980), "Concepts and software for advanced simulation methodologies," in T.I. Ören, C.M. Shub, and P.F. Roth (eds), Simulation with discrete models: A state-of-the-art view.

Cited By

Zeigler BÖren T(1986)Multifaceted, multiparadigm modeling perspectivesProceedings of the 18th conference on Winter simulation10.1145/318242.318513(708-712)Online publication date: 1-Dec-1986
https://dl.acm.org/doi/10.1145/318242.318513
Zeigler BDelfosse CShub C(1981)Impact of general systems orientationProceedings of the 13th conference on Winter simulation - Volume 110.5555/800072.808811(223-225)Online publication date: 1-Jan-1981
https://dl.acm.org/doi/10.5555/800072.808811
Ören TDelfosse CShub C(1981)Foundations for an information technologyProceedings of the 13th conference on Winter simulation - Volume 110.5555/800072.808808(201-208)Online publication date: 1-Jan-1981
https://dl.acm.org/doi/10.5555/800072.808808
Show More Cited By

Index Terms

Design of SEMA: A software system for computer-aided modelling and simulation of sequential machines

Recommendations

SEMA: results for the ontology alignment contest OAEI 2007
OM'07: Proceedings of the 2nd International Conference on Ontology Matching - Volume 304

In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements (i.e., classes and properties) of two input ontologies. Towards this goal,...
Read More
Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
ISMS '15: Proceedings of the 2015 6th International Conference on Intelligent Systems, Modelling and Simulation

Siphons can be used to characterize deadlock states to solve deadlock problems in a class of Petri nets that represent models of flexible manufacturing system (FMS). This paper presents a deadlock prevention method for a class of FMS, where the unmarked ...
Read More
Parallel controller design and synthesis
FPGAworld '10: Proceedings of the 7th FPGAworld Conference

Petri nets provide an adequate means to visualize both sequential and parallel controller behavior. They can be used to model and visualize behavior comprising concurrency and synchronization. Strongly time dependent complex controllers can be modeled ...
Read More

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WSC '80: Proceedings of the 12th conference on Winter simulation

January 1980

384 pages

Sponsors

DOE: Department of Energy
AIIE: AIIE
ORSA: Operations Research Society of America
SCS: Society for Computer Simulation
TIMS
SIGSIM: ACM Special Interest Group on Simulation and Modeling
IEEE: Institute of Electrical and Electronics Engineers

Publisher

IEEE Press

Publication History

Published: 01 January 1980

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
119
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)2

Other Metrics

View Author Metrics

Citations

Cited By

Zeigler BÖren T(1986)Multifaceted, multiparadigm modeling perspectivesProceedings of the 18th conference on Winter simulation10.1145/318242.318513(708-712)Online publication date: 1-Dec-1986
https://dl.acm.org/doi/10.1145/318242.318513
Zeigler BDelfosse CShub C(1981)Impact of general systems orientationProceedings of the 13th conference on Winter simulation - Volume 110.5555/800072.808811(223-225)Online publication date: 1-Jan-1981
https://dl.acm.org/doi/10.5555/800072.808811
Ören TDelfosse CShub C(1981)Foundations for an information technologyProceedings of the 13th conference on Winter simulation - Volume 110.5555/800072.808808(201-208)Online publication date: 1-Jan-1981
https://dl.acm.org/doi/10.5555/800072.808808
Ören T(1981)Concepts and criteria to assess acceptability of simulation studiesCommunications of the ACM10.1145/358598.35860524:4(180-189)Online publication date: 1-Apr-1981
https://dl.acm.org/doi/10.1145/358598.358605

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents