�E—ð
	‚P‚X‚W‚W”N�@General InstrumentŽÐ�AEngineer ‚P‚X‚X‚O”N�@Pauline N. Kawamoto, Software Consultant ‚P‚X‚X‚U”N�@�M�B‘åŠw�@�•Žè�@�HŠw•” ‚P‚X‚X‚V”N�@�M�B‘åŠw�@�•‹³Žö�@�HŠw•”

Œ¤‹†
	ƒyƒgƒŠƒlƒbƒg�F�@‹L�q�Aƒc�[ƒ‹ŠJ”­�A‰ž—p
	Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Basic Petri Net Concepts"; Formalized Mathematics, 3, (2), 183-187, 1992. Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Basic Concepts for Petri Nets with Boolean Markings"; Formalized Mathematics, 4, (1), 87-90, 1993. Pauline N. KAWAMOTO and Yatsuka NAKAMURA: "On Cell Petri Nets"; Journal of Applied Functional Analysis, I, 12-22, 1996. Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Application of Petri Nets to Software Development - Practical Issues and Considerations"; Applied Informatics, Proc. Of the 14th IASTED International Conference, 362-365, 1996. Mayumi KITAZAWA, Pauline N. KAWAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "Petri Net Software Development for Parallel/Distributed Systems"; Parallel and Distributed Computing and Systems, Proc.of the 8th IASTED International Conference, 418-420, 1996. Pauline N. KAWAMOTO, Munehisa SAKAMOTO, Yasushi FUWA, and Yatsuka NAKAMURA: "A Petri Net Environment for Developing Robot Controllers"; 4th International Conference on Control, Automation, Robotics, and Vision, 719-723, 1996�D
	ƒn�[ƒhƒEƒFƒA�^ƒ\ƒtƒgƒEƒFƒA‚ÌŒ`Ž®‰»‚ÆŒŸ�Ø–@
	Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Preliminaries to Circuits, I"; Formalized Mathematics, 5, (2), 167-172, 1996. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Preliminaries to Circuits, II", Formalized Mathematics, 5, (2), 215-220, 1996. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Introduction to Circuits, I", Formalized Mathematics, 5, (2), 227-232, 1996. Yatsuka NAKAMURA, Piotr RUDNICKI, Andrzej TRYBULEC, and Pauline N. KAWAMOTO: "Introduction to Circuits, II", Formalized Mathematics, 5, (2), 273-278, 1996. Pauline N. KAWAMOTO and Andrzej TRYBULEC: "The Concept of a Many Sorted Algebra and a Model of Digital Circuits�h; ‹ž“s‘åŠw�”—�‰ð�ÍŒ¤‹†�Š�u‹†˜^, 975, 176-184, 1996. Katsumi WASAKI and Pauline N. KAWAMOTO: "2's Complement Circuit"; Formalized Mathematics, 6, (2), 189-197, 1997. Pauline N. KAWAMOTO: "On a Formalization of Digital Circuits in Mizar"; Mechanized Mathematics and Its Applications, 3, (1), 9-17, 2004.

ƒvƒ�ƒOƒ‰ƒ~ƒ“ƒOŒ¾Œê�A‰ž—p
	Petri Net Design System (PDS) ‚ÌŠJ”­ MS-DOS—p Windows—p, ‰ÈŒ¤”ïŽáŽè�iB) 15700508 Web—p, ‰ÈŒ¤”ïŽáŽè�iB) 15700508 ƒEƒFƒuƒx�[ƒXCAIŠJ”­ �HŠw•”�¶‚̉pŒê‚Ɖp‰ï˜bCAI‹³�Þ‚ðHTML‚ÆPerl CGI‚Å�ì�¬ �HŠw•”‰@�¶‚ÌCAIƒR�[ƒXƒEƒFƒA‚Ì�ì�¬ ƒvƒ�ƒOƒ‰ƒ~ƒ“ƒOŒ¾Œê C Perl Java