Contents of Report

[Data of Report]

Report Number:: TR0792
Date of Registration:: 1992.08
English Title:: A Petri-Net-Based Programming Environment and its Design Methodology for Cooperating Discrete Event Systems
Japanese Title:: ***
English Author:: N.Uchiyama,M.Arami,S.Honiden
Japanese:: ***
Name of Organization to which author belongs:: Toshiba,Toshiba,Toshiba
PDF:: tr0792.pdf

	Keywords	.... 2
	Summary	.... 2
1	Introduction	.... 3
2	MENDEL NET	.... 4
2.1	Place	.... 4
2.2	Transition	.... 5
2.3	Hierarchy	.... 6
2.4	Array Representation	.... 6
2.5	Concurrent Program generation	.... 7
3	Design Methodology	.... 7
3.1	Design Principle	.... 7
3.2	Causality	.... 7
3.3	Temporal Logic	.... 8
3.4	Design Methodology	.... 9
4	MENDELS ZONE	.... 10
5	Example;Lift System	.... 12
5.1	Problem	.... 12
5.2	Observation of actual design process	.... 12
5.3	Evaluation	.... 14
6	Conclusion and Related Works	.... 14
	Acknowledgement	.... 15
	References	.... 15
	End	.... 29

目次をクリックすると、PDFファイルが表示されます。