Petri Nets

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Petri Nets

Full text

Pdf (2.58 MB)

Source

ACM Computing Surveys (CSUR) archive
Volume 9 , Issue 3 (September 1977) table of contents

Pages: 223 - 252

Year of Publication: 1977

ISSN:0360-0300

Author

James L. Peterson

Department of Computer Sciences, The University of Texas, Austin, Texas

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 73, Downloads (12 Months): 558, Citation Count: 170

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356698.356702 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AGERWALA, T. A complete model for representtng the coordination of asynchronous processes, Hopkins Computer Research Report No. 32, Computer Science Program, Johns Hopkins Univ., Baltimore, Md., July 1974, 58 pp.
	2	AGERWALA, T. An analysis of controlhng agents for asynchronous processes, Hopkins Computer Research Report No. 35, Computer Scmnce Program, Johns Hopkins Univ., Baltimore, Md., Aug. 1974, 85 pp.
	3	Tilak Agerwala , Mike Flynn, Comments on capabilities, limitations and “correctness” of Petri nets, Proceedings of the 1st annual symposium on Computer architecture, p.81-86, December 09-11, 1973
	4	ANDERSON, D W ; SPARACIO, F. J.; AND TOMA- SULO, R.M. "The IBM System/360 Model 91: Machine philosophy and instruction handling," IBM J. R. & D. 11, 1 (Jan. 1967), 8-24.
	5	BAn, J.L. "Modelling for parallel computation: a case study," in Proc. 1973 Sagamore Computer Conf. Parallel Processing, Springer- Verlag, N.Y., 1973.
	6	J. L. Baer, A Survey of Some Theoretical Aspects of Multiprocessing, ACM Computing Surveys (CSUR), v.5 n.1, p.31-80, March 1973 [doi>10.1145/356612.356615]
	7	BAKER, H. G. Petri nets and languages, Computation Structures Group Memo 68, Project MAC, MIT, Cambridge, Mass., May 1972, 6 pp.
	8	BAKES, H.G. "Equivalence problems of Petri nets," MS Thesis, Dep.t Electrical Eng,-" neering, MIT, Cambridge, Mass., June 1973, 53 pp.
	9	BAKER, H.G. Rabin's proof of the undecidability of the reachability set inclusion problem of vector addition systems, Computation Structures Group Memo 79, Project MAC, MIT, Cambridge, Mass., July 1973, 18 pp.
	10	BERNSTEIN, A.J. "Program analysis for parallel processing," IEEE Trans. Electronic Comp. EC-15, (Oct. 1966), 757-762.
	11	BeRNSTEIN, P.A. Description problems in the modeling of asynchronous computer systems, Tech. Rep. 48, Dept. Computer Science, Univ. Toronto, Toronto, Canada, Jan. 1973.
	12	CBmz, V. G. "Multiprocessors, semaphores, and a graph model of computation," PhD Thesin, Computer Science Dept., Univ. Calif., Los Angeles, April 1972.
	13	CHEN, T. C. "Overlap and pipeline processing," in Introduction to computer architecture, H. S. Stone (Ed.), Science Research Associates, Chicago, ill., 1975, pp. 375-431.
	14	CLARK, W.A. "Macromodular computer systems," in Proc. 1967 Spring Jr. Comp Conf., Thompson Book Co., Washi" "ngton, D.C., 1967, pp. 335-336.
	15	Edward G. Coffman, Jr. , Peter J. Denning, Operating Systems Theory, Prentice Hall Professional Technical Reference, 1973
	16	COMMO~R, F. G. Deadlocks in Petri nets, CA-7206-2311, Applied Data Research, Wakefield, Mass., June 1972, 50 pp.
	17	COMMONER, F.; HOLT, A. W.; EVEN, S.; AND PNU~.LI, A. "Marked directed graphs," J. Computer and Systems Science 5, (Oct. 1971), 511-523.
	18	CRF~PI-REGHIZZI, S.; AND MANDRIOLI, D. "Properties of firing sequences," presented at MIT Conf. Petr~ Nets and Related Methods, MIT, Cambridge, Mass., July 1975.
	19	CRESPI-REGHIZZI, S.; AND MANDRIOLI, D. Petri nets and commutative grammars, Internal Report No. 74-5, Laboratorio di Calcolatori, Instituto di Elettrotecnica ed Elettromca del Politecnico di Milano, Italy, March 1974.
	20	CRESPI-REGHIZZI, S.; AND MANDRIOLI, D. "A decidability theorem for a class of vector-addition systems," Information Processing Letters 3, 3 (Jan. 1975), 78-80.
	21	CEESPI-REGH\|ZZI, S.; AND MANDEIOLI, D. "Petri nets and Szilard languages," Information and Control 33, 2 (Feb. 1977), 177-192.
	22	DEN~IS, J. B. "Modular asynchronous control structures for a high performance processor," in Record of the Project MAC Conf. Concurrent and Parallel Computatwn, ACM, N. Y., 1970, pp. 55-80.
	23	DzNms, J.B= (Ed.), Record of the project MAC conf. concurrent systems and parallel computation, ACM, N. Y., 1970, 199 pp.
	24	Jack B. Dennis, Concurrency in Software Systems, Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972], p.111-127, January 1975
	25	DIJ~.STRA, E. W., "Cooperating sequential processes," in Programming languages, F. Genuys (Ed.), Academic Press, N. Y., 1968, pp. 43-112.
	26	~CHER, P. C.; ME~ZR, A. R.; ANY RosEbnE~, A.L. "Counter machines and counter languages," Mathemaacal Systems Theory 2, 3 (1968), 265-283.
	27	FURTEX, F. "Modular implementation of Petri nets," MS Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., Sept 1971.
	28	F. C. Furtek, THE LOGIC OF SYSTEMS, Massachusetts Institute of Technology, Cambridge, MA, 1976
	29	GENRICH, H. J. Einfache nicht-sequentielle Prozesse (Simple nonsequential processes), Gesellschaft fiir Mathematlk und Datenverarbeitung, Birlinghoven, W. Germany, 1970.
	30	GENRICH, H. J. The Petr~ net representation of mathematical knowledge, GMD-ISF Internal Report 75-06, Institut fur Informationssystemforschung, Gesellschaft fiir Mathematik und Datenverarbeitung, Birlinghoven, W. Germany, 1975.
	31	Kim Peter Gostelow, Flow of control, resource allocation, and the proper termination of programs, 1971
	32	M. Hack, ANALYSIS OF PRODUCTION SCHEMATA BY PETRI NETS, Massachusetts Institute of Technology, Cambridge, MA, 1972
	33	HACK, M. A Petri net version of Robin's undecidability proof for vector addition systems, Computation Structures Group Memo 94, Project MAC, MIT, Cambridge, Mass., Dec. 1973, 12pp.
	34	HACK, M. Decision problems for Petn nets and vector addition systems, Computation Structures Group Memo 95, Project MAC, MIT, Cambridge, Mass., March 1974; also Technical Memo 59, Project MAC, MIT, March, 1975.
	35	HACK, M. The recursive equwalence of the reachability problem and the liveness problem for Petri nets and vector additmn systems, Computation Structures Group Memo 107, Project MAC, MIT, Cambridge, Mass., Aug. 1974, 9 pp.; also in Proc. 15th Annual Syrup. Switching and Automata, IEEE, N. Y., 1974.
	36	HACK, M. The equality problem for vector addition systems ~s undecidable, Computation Structures Group Memo 121, Project MAC, MIT, Cambridge, Mass., April 1975, 32 pp.; also in Theoretical Computer Science 2, 1 (June 1976).
	37	M. Hack, PETRI NET LANGUAGE, Massachusetts Institute of Technology, Cambridge, MA, 1976
	38	M. Hack, DECIDABILITY QUESTIONS FOR PETRI NETS, Massachusetts Institute of Technology, Cambridge, MA, 1976
	39	HAcz, M.; ~m ~'ETERSON, J. L. "Petri nets and languages," presented at MIT Conf. Petn Nets and Related Methods, MIT, Cambridge, Mass., July 1975.
	40	HANSAL, A.; AND SCHWAB, G.M. On marked graphs III, Report LN 25.6.038, IBM Vienna Laboratories, Vienna, Austrm, Sept. 1972.
	41	HENHAPL, W. Firing sequences of marked graphs, Report LN 25.6.023, IBM Vienna Laboratories, Vienna, Austria, June 1972.
	42	HENHAPL, W. Finn g sequences of marked graphs II, Report LN 25.6.036, IBM Vienna Laboratories, Vienna, Austria, June 1972.
	43	HOLT, A. W.; SAINT, H ; SHAPIRO, R. M.; ANY WARSHALL, S. Final report of the mformatmn system theory project, Tech. Rep. RADC-TR- 68-305, Rome Air Development Center, Griffiss Air Force Base, N. Y., Sept. 1968.
	44	HOLT, A. W.; AND COMMONER, F. JF, t;ents and condition, Applied Data Research N.Y., 1970; also in Record Project MAC Conf. Concurrent Systems and Parallel Computatton, (Chapters I, II, IV, and VI) ACM, N.Y., 1970, pp. 3-52.
	45	HOLT, R. C. "On deadlock m computer systems," PhD Thesis, Dept. Computer Science, Cornell Umv., Ithaca, N Y., Jan. 1971; also TR 71-91, Dept. Computer Science, Cornell Univ.; and TR CSRG-6, Computer Science Research Group, Umv. Toronto, Toronto, Canada, July 1972.
	46	IZmCKI, H. On marked graphs, Report LR 25.6.023, IBM Vienna Laboratories, Vienna, Austria, Sept. 1971.
	47	IzBIcKI, H. On marked graphs H, Report LN 25.6.029, IBM Vienna Laboratories, Vienna, Austria, Jan. 1972.
	48	JACK, L. "Graphical representation for fault tolerant phenomena," presented at Seminar, Dept. Electrical Engineering, Univ. Texas, Austin, Jan. 1976.
	49	JONES, N. D.; LAm)W~,BER, L. H.; AND LIEN, Y. E. Complexity of some problems in Petri nets, TR-276, Comp. Science Dept., Umv. Wisconsin-Madison, Sept. 1976, 43 pp.; to appear in Theor. Comp. Sci.
	50	Kxm,, R. M.; AND Mn~LER, R.E. "Properties of a model for parallel computation: determinacy, termination, queueing," SIAM J. Appl. Math. 14, 6 (Nov. 1966) 1390-1411.
	51	KARP, R. M.; AND MILLER, R. E. 'Tarallel ~ rogram schemata," J. Computer and Systems cience 3, 4 (May 1969), 167-195.
	52	KAsAm, T.; TOKURA, N.; AND PETERSON, W. W. "Vector addition systems and synchronization problems of concurrent processes," draft manuscript, 1974.
	53	KELLER, R.M. Vector replacement systems: a formahsm for modelhng asynchronous systems, Tech. Rep. 117, Computer Science Laboratory, Princeton Umv., Princeton, N.J., Dec. 1972; Revised: Jan. 1974, 57 pp.
	54	KELLER, R. M. Generaltzed Petrt nets as models for system verification, Tech. Rep. 202, Dept. Electrical Engineering, Princeton Univ., Princeton, N.J., Aug. 1975.
	55	Robert M. Keller, Look-Ahead Processors, ACM Computing Surveys (CSUR), v.7 n.4, p.177-195, Dec. 1975 [doi>10.1145/356654.356657]
	56	Robert M. Keller, Formal verification of parallel programs, Communications of the ACM, v.19 n.7, p.371-384, July 1976 [doi>10.1145/360248.360251]
	57	KOSARA~U, S. R. Limitations of Dijkstra's semaphore primitives and Petri nets, Tech. Rep. 25, Jol~ns Hopkins Univ., Baltimore, Md. May 1973, 5 pp.; also in Operating Systems Review 7, 4 (Oct. 1973), 122-126.
	58	LANDWEBER, L. H.; Am) ROBERTSON, E. L. Properties of conflict ~_ e and pe:rslstent Petrt nets, Tech. Rep. 264, Computer Sciences Dept., Univ. Wisconsin-Madison, Madison, Wisc., Dec. 1975, 30 ~p.
	59	LAUER, P. E.; aND t~Am'B~LL, R. H. A de. scription of path expressions by Petri nets, Tech. Rep. 64, Computing Laboratory, Univ. Newcastle Upon Tyne, England, May 1974, 39
	60	LAUZR, P. E. Path expressions as Petri nets, or Petri nets with fewer tears, MRM 70, Computing Laboratory, Univ. Newcastle Upon Tyne, England, Jan. 1974, 61 pp.
	61	LAUTENBACH, K.; AND SCHMID, H.A. "Use of Petri nets for proving correctness of concurrent process systems," in Proc. IFIP Congress 74, North-Holland Publ. Co., Amsterdam, The Netherlands, 1974, pp. 187-191.
	62	LIzN, Y.E. "Termination properties of generalized Petri nets," SIAM J. Computing 5, 2 (June 1976), 251-265.
	63	LIPTON, R. J.; SNYDBR, L.; ASD ZALC~ZIN, Y. "A comparative study of models of parallel computation," inProc, l@th Annual Syrup. Switching and Automata, IEEE, N.Y., 1974, p} p. 145-155.
	64	LIPTos, R. "The reachability problem and the boundedness problem for Petri_ nets are exponential-space hard," presented at MIT Conf. Petri Nets and Related Methods, MIT, Cambridge, Mass., July 1975; also TR-62, Dept. Computer Science, Yale Univ., New Haven, Conn., Jan. 1976.
	65	MELDMAN, J. A.; AND HOLT, A. W. ~Petri nets and legal systems," Jurimetrics J. 12, 2 (Dec. 1971).
	66	Philip Meir Merlin, A study of the recoverability of computing systems., 1974
	67	David Misunas, Petri nets and speed independent design, Communications of the ACM, v.16 n.8, p.474-481, Aug. 1973 [doi>10.1145/355609.362318]
	68	MXLLER, R. E. A comparison of some theoretical models of parallel computation, RC 4230, IBM T.J. Watson Research Center, Yorktown Heights, N.Y.; also IEEE Trans. Comp. C-22, 8 (Aug. 1973), 710-717.
	69	MURATA, T.; A~ CHURCH, R.W. Analysis of marked graphs and Petri nets by matrix equat/ons, Research Report MDC 1.1.8, Dept. Information Engineering, Univ. illinois, Chicago Circle, Nov. 1975, 25 pp.
	70	NASH, B. O. "Reachability problems in vector addition systems," American Math. Monthly 80, 3 (March 1973), 292-295.
	71	Jerre D. Noe, A Petri Net model of the CDC 6400, Proceedings of the SIGOPS workshop on System performance evaluation, p.362-378, January 1971 [doi>10.1145/800024.808367]
	72	NoB, J. D.; Am) NuTr, G.J. "Macro E-Nets for representation of parallel systems," IEEE Trans. Comp. C-22, 8 (Aug. 1973), 718-727.
	73	S. S. Patil, COORDINATION OF ASYNCHRONOUS EVENTS, Massachusetts Institute of Technology, Cambridge, MA, 1970
	74	PATIL, S. Limttations and eapabdtttes of Dijkstra's semaphore prtmitives for coordina. twn among processes , Computation Structures Group Memo 57, Project MAC, MIT, Cambridge, Mass., Feb. 1971.
	75	PATIL, S. S. Ctrcutt tmplementatton of Petri nets, Computation Structures Group Memo 73, Project MAC, MIT, Cambridge, Mass., Dec. 1972, 14 pp.
	76	PATIL, S. S.; AND DENmS, J.B. The descrtptwn and realazatton of dtgttal systems, Computation Structures Group Memo 71, Project MAC, MIT, Cambridge, Mass., Oct. 1972; also in Proc. Stxth AnnuallEEE Computer Soctety Internatl. Conf. Digest of Papers, IEEE, N.Y., 1972.
	77	PET~RSON, J. L. "Modelhng of parallel systems," PhD Thesis, Dept. Electrical Engineering, Stanford Univ., Stanford, Cahf., Dec. 1973, 241 pp.
	78	PZTZRSO~, J. L ; Am) BREDT, T. H. "A comparison of models of parallel computatlon," in roc. IFIP Congress 74, North-Holland Publ. Co., Amsterdam, The Netherlands, 1974, pp. 466-470.
	79	PZTERsoN, J. L. "Computation sequence sets," J. Computer and System Sciences 13, 1 (Aug. 1976) 1-24.
	80	rEVR1, C. A'. "Kommunlkahon mit Automaten," Schriften des Rheintsch- Westfal-ischen Inst_ttutes ~r Instrumentelle Mathemattk an tier Universtrat Bonn, Heft 2, Bonn, W. Germany 1962; translation: C. F. Greene, Supplement 1 to Tech. Rep. RADC-TR-65-337, Vol. 1, Rome Air Development Center, GrifFins Air Force Base, N.Y., 1965, 89 pp.
	81	P~ZTR}, C. A. "Concepts of net theory," in Proc. Symp. and Summer School on Mathematical Foundations of Computer Science, High Tatras, Sept. 3-8, 1973, Math. Inst. Slovak Academy of Science, 1973, pp. 137-146.
	82	P~TRI, C.A. Interpretattons of net theory, Interner Bericht 75-07, Gesellschaft fur Mathematik und Datenverarbeltung, Bonn, W. Germany, July 1975, 34 pp.
	83	RACteOFF, C. The covering and boundedness ~e roblems for vector addttion systems, Tech. p. 97, Dept. Computer Science, Univ. Toronto, Toronto, Canada, July 1976, 14 pp.
	84	C. Ramchandani, ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS, Massachusetts Institute of Technology, Cambridge, MA, 1974
	85	William Ewing Riddle, The modeling and analysis of supervisory systems, 1972
	86	RIVDLE, W.E. The equzvalence of Petrz nets and message transmission models, SRM 97, Umv. Newcastle Upon Tyne, England, Aug. 1974, 11 pp.
	87	RovmGVZZ, J.E. "A graph model for parallel computation," PhD Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., Sept. 1967, 120 pp.
	88	SACERDOTE, G.; AND TENNEY, R.L. "The decidabllity of the reachability problem for vector addition systems," (submitted for publication), Nov. 1976, 8pp.
	89	SLUTZ, D. R. "The flow graph schemata model of parallel computation," PhD Thesis, Dept Electrical Engineering, MIT, Cambridge, Mass., Sept. 1968.
	90	SHAPIRO, R. M.; AND SAZ~T, H. "A new approach to optimlzation of sequencing decisions," Annual Review of Automatlc Programmtng 6, 5, (1970), 257-288.
	91	J. E. Thornton, Design of a Computer—The Control Data 6600, Scott Foresman & Co, 1970
	92	TSlCHR~ZlS, D. Modular system descr~ptlon, Tech. Rep. 33, Dept. Computer Science, Univ. Toronto, Toronto, Canada, Oct. 1971, 20 pp.
	93	Jan van Leeuwen, A partial solution to the reachability-problem for vector-addition systems, Proceedings of the sixth annual ACM symposium on Theory of computing, p.303-309, April 30-May 02, 1974, Seattle, Washington, United States [doi>10.1145/800119.803908]

CITED BY 170

	Mohan R Tanniru , S Sakthivel, Knowledge-based support for system verification during requirements analysis, Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference, p.163-181, March 05-06, 1987, Coral Gables, Florida, United States
	Enver Yücesan , Sheldon H. Jacobson, Computational issues for accessibility in discrete event simulation, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.6 n.1, p.53-75, Jan. 1996
	Enver Yücesan , Sheldon H. Jacobson, On the simultaneous construction of sample paths, Proceedings of the 27th conference on Winter simulation, p.357-361, December 03-06, 1995, Arlington, Virginia, United States
	J. L. Baer , G. Gardarin , C. Girault , G. Roucairol, The two-step commitment protocol: Modeling, specification and proof methodology, Proceedings of the 5th international conference on Software engineering, p.363-373, March 09-12, 1981, San Diego, California, United States
	Donald Fussell , Peter Varman, Fault-tolerant wafer-scale architectures for VLSI, ACM SIGARCH Computer Architecture News, v.10 n.3, p.190-198, April 1982
	R. A. McBride , E. A. Unger, Modeling jobs in a distributed system, Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, p.32-41, December 07-09, 1983, San Diego, California, United States
	Thomas W. Malone , Kevin Crowston, The interdisciplinary study of coordination, ACM Computing Surveys (CSUR), v.26 n.1, p.87-119, March 1994
	Anil Sawhney, Petri net based simulation of construction schedules, Proceedings of the 29th conference on Winter simulation, p.1111-1118, December 07-10, 1997, Atlanta, Georgia, United States
	G. K. Hutchinson, The automation of simulation, Proceedings of the 13th conference on Winter simulation, p.489-495, December 09-11, 1981, Atlanta, Georgia, United States
	Robert M. Keller , Gary Lindstrom, Applications of feedback in functional programming, Proceedings of the 1981 conference on Functional programming languages and computer architecture, p.123-130, October 18-22, 1981, Portsmouth, New Hampshire, United States
	J. A. Barnden, Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.3, p.293-317, July 1981
	Anita Miller , John Paré, Managing simulation projects, Proceedings of the 19th annual symposium on Simulation, p.43-57, March 12-14, 1986, Tampa, Florida, United States
	Stone H. Yu , Tadao Murata, Modeling and simulating data flow computations at machine language level, ACM SIGMETRICS Performance Evaluation Review, v.8 n.3, p.207-213, Fall 1979
	John Barron, Dialogue and process design for interactive information systems using Taxis, ACM SIGOA Newsletter, v.3 n.1-2, p.12-20, June 21-23, 1982
	Lee W. Schruben, Graphical model structures for discrete event simulation, Proceedings of the 24th conference on Winter simulation, p.241-245, December 13-16, 1992, Arlington, Virginia, United States
	Gary T. Leavens , Tim Wahls , Albert L. Baker, Formal semantics for SA style data flow diagram specification languages, Proceedings of the 1999 ACM symposium on Applied computing, p.526-532, February 28-March 02, 1999, San Antonio, Texas, United States
	C V Ramamoorthy , Y Yaw, A petri net reduction algorithm for protocol analysis, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.157-166, Aug. 5, 1986
	James R. McGraw, The VAL Language: Description and Analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.1, p.44-82, Jan. 1982
	Michel Tueni , Jianzhong Li , Pascal Fares, AMS: a knowledge-based approach to task representation, organization and coordination, ACM SIGOIS Bulletin, v.9 n.2-3, p.78-87, April & July 1988
	Pei-Hsin Ho , Adrian J. Isles , Timothy Kam, Formal verification of pipeline control using controlled token nets and abstract interpretation, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design, p.529-536, November 08-12, 1998, San Jose, California, United States
	Stephen W. Clyde , David E. Embley , Scott N. Woodfield, Turnable formalism in object-oriented systems analysis: meeting the needs of both theoreticians and practitioners, ACM SIGPLAN Notices, v.27 n.10, p.452-465, Oct. 1992
	L. A. Cox, Jr., Predicting concurrent computer system performance using Petri-Net models, Proceedings of the 1978 annual conference, p.901-913, January 1978
	Kenneth W. Fiduk , Sally Kleinfeldt , Marta Kosarchyn , Eileen B. Perez, Design methodology management—a CAD framework initiative perspective, Proceedings of the 27th ACM/IEEE conference on Design automation, p.278-283, June 24-27, 1990, Orlando, Florida, United States
	David Helmbold , David Luckham, TSL: task sequencing language, ACM SIGAda Ada Letters, v.V n.2, p.255-274, Sep., Oct. 1985
	D. Tsichritzis, Form management, Communications of the ACM, v.25 n.7, p.453-478, July 1982
	J. Lebensold , T. Radhakrishnan , W. M. Jaworski, A modelling tool for office information systems, ACM SIGOA Newsletter, v.3 n.1-2, p.141-152, June 21-23, 1982
	Wamberto W. Vasconcelos , Jordi Sabater , Carles Sierra , Joaquim Querol, Skeleton-based agent development for electronic institutions, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2, July 15-19, 2002, Bologna, Italy
	John A. Miller , Amit P. Sheth , Krys J. Kochut , Xuzhong Wang , Arun Murugan, Simulation modeling within workflow technology, Proceedings of the 27th conference on Winter simulation, p.612-619, December 03-06, 1995, Arlington, Virginia, United States
	Adam Pawlak, Microprocessor systems modeling with MODLAN, Proceedings of the 20th conference on Design automation, p.804-811, June 27-29, 1983, Miami Beach, Florida, United States
	Laura K. Dillon, Verifying General Safety Properties of Ada Tasking Programs, IEEE Transactions on Software Engineering, v.16 n.1, p.51-63, January 1990
	M. A. Franklin , S. A. Kahn , M. J. Stucki, Design issues in the development of a modular multiprocessor communications network, Proceedings of the 6th annual symposium on Computer architecture, p.182-187, April 23-25, 1979
	Daniel Brand , Pitro Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM (JACM), v.30 n.2, p.323-342, April 1983
	Allan M. Stavely , David C. Becker , Susan P. Orr , Gregory B. Titus, A collection of software tools for analyzing designs of concurrent software systems, Proceedings of the 8th international conference on Software engineering, p.111-118, August 28-30, 1985, London, England
	A. T. Chamillard , Lori A. Clarke, Improving the accuracy of Petri net-based analysis of concurrent programs, ACM SIGSOFT Software Engineering Notes, v.21 n.3, p.24-38, May 1996
	Sanjai Narain , Jeff Rothenberg, Proving temporal properties of hybrid systems, Proceedings of the 22nd conference on Winter simulation, p.250-256, December 09-12, 1990, New Orleans, Louisiana, United States
	María Consuelo Franky, JOYCE+: model and language for multi-site distributed systems, Proceedings of the second international symposium on Databases in parallel and distributed systems, p.160-170, July 02-04, 1990, Dublin, Ireland
	Clarence A. Ellis , Gary J. Nutt, Office Information Systems and Computer Science, ACM Computing Surveys (CSUR), v.12 n.1, p.27-60, March 1980
	C. E. Hrischuk , C. M. Woodside, Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System, IEEE Transactions on Software Engineering, v.28 n.4, p.321-339, April 2002
	Robert J. Allen , David Garlan , James Ivers, Formal modeling and analysis of the HLA component integration standard, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.70-79, Nov. 1998
	P. David Stotts , Richard Furuta, Adding browsing semantics to the hypertext model, Proceedings of the ACM conference on Document processing systems, p.43-50, December 05-08, 1988, Santa Fe, New Mexico, United States
	Franklyn Turbak, First-class synchronization barriers, ACM SIGPLAN Notices, v.31 n.6, p.157-168, June 15, 1996
	Roberto Zicari, Semantics of a communication mechanism in a distributed system, Proceedings of the 5th ACM SIGSMALL symposium on Small systems, p.43-48, August 02-04, 1982, Colorado Springs, Colorado, United States
	Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987
	W. Cyre, Toward synthesis from English descriptions, Proceedings of the 26th ACM/IEEE conference on Design automation, p.742-745, June 25-28, 1989, Las Vegas, Nevada, United States
	Ilya Gertner, Performance evaluation of communicating processes, ACM SIGMETRICS Performance Evaluation Review, v.8 n.3, p.241-248, Fall 1979
	Janice E. Cuny , Lawrence Snyder, Conversion from data-driven to synchronous execution in loop programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.4, p.599-617, Oct. 1987
	Chuang Lin , Dan Christian Marinescu, Translation of modified predicate transition nets models of cummunication protocols into simulation programs, Proceedings of the 18th conference on Winter simulation, p.760-768, December 08-10, 1986, Washington, D.C., United States
	Alan,M. Davis, A comparison of techniques for the specification of external system behavior, Communications of the ACM, v.31 n.9, p.1098-1115, Sept. 1988
	Taieb F. Znati , Yi Deng , Brian Field , Shi-Kuo Chang, Multi-level specification and protocol design for distributed multimedia communication, ACM SIGOIS Bulletin, v.12 n.2-3, p.255-268, Nov. 1991
	Matts Ahlsen , Anders Bjornerstedt , Stefan Britts , Christer Hulten , Lars Soderlund, An architecture for object management in OIS, ACM Transactions on Information Systems (TOIS), v.2 n.3, p.173-196, July 1984
	Laura K. Dillon , George S. Avrunin , Jack C. Wileden, Constrained expressions: toward broad applicability of analysis methods for distributed software systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.3, p.374-402, July 1988
	Jonathan E. Cook , Alexander L. Wolf, Event-based detection of concurrency, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.35-45, Nov. 1998
	Charles E. McDowell , David P. Helmbold, Debugging concurrent programs, ACM Computing Surveys (CSUR), v.21 n.4, p.593-622, Dec. 1989
	Winfried Hahn, Computer Design Language - Version Munich (CDLM) a modern multi-level language, Proceedings of the 20th conference on Design automation, p.4-11, June 27-29, 1983, Miami Beach, Florida, United States
	Kalle Lyytinen, Different perspectives on information systems: problems and solutions, ACM Computing Surveys (CSUR), v.19 n.1, p.5-46, March 1987
	Michael J. Wise, A parallel Prolog: The construction of a data driven model, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.56-66, August 15-18, 1982, Pittsburgh, Pennsylvania, United States
	T. Y. Lin, Concurrent automata, database computers, and security: a “new” security paradigm for secure parallel processing, Proceedings on the 1992-1993 workshop on New security paradigms, p.94-104, August 1993, Little Compton, Rhode Island, United States
	Enrico Vicario, Static Analysis and Dynamic Steering of Time-Dependent Systems, IEEE Transactions on Software Engineering, v.27 n.8, p.728-748, August 2001
	Enver Yücesan , Sheldon H. Jacobson, Building correct simulation models is difficult, Proceedings of the 24th conference on Winter simulation, p.783-790, December 13-16, 1992, Arlington, Virginia, United States
	Wlodzimierz M. Zuberek, Performance evaluation of concurrent systems using timed petri nets, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.326-329, March 1985, New Orleans, Louisiana, United States
	Sanjai Narain, An axiomatic basis for general discrete-event modeling, Proceedings of the 23rd conference on Winter simulation, p.1073-1082, December 08-11, 1991, Phoenix, Arizona, United States
	M. Ajmone Marsan , G. Balbo , G. Conte, A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems, Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems, p.198-199, August 29-31, 1983, Minneapolis, Minnesota, United States
	Janice E. Cuny , Lawrence Snyder, Compilation of data-driven programs for synchronous execution, Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.197-202, January 24-26, 1983, Austin, Texas
	Carl K. Chang , Mark Christensen, A Net Practice for Software Project Management, IEEE Software, v.16 n.6, p.80-88, November 1999
	Connie U. Smith , David D. Loendorf, Performance analysis of software for an MIMD computer, ACM SIGMETRICS Performance Evaluation Review, v.11 n.4, December 1982
	J. C. Huang , José Muñoz , Hal Watt , George Zvara, ECOS graphs: a dataflow programming language, Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's, p.911-918, March 1992, Kansas City, Missouri, United States
	Amy L. Lansky , Susan S. Owicki, GEM: A tool for concurrency specification and verification, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.198-212, August 17-19, 1983, Montreal, Quebec, Canada
	W. M. Zuberek, Timed Petri nets and preliminary performance evaluation, Proceedings of the 7th annual symposium on Computer Architecture, p.88-96, May 06-08, 1980, La Baule, United States
	P. Azema , J. M. Ayache , B. Berthomieu, Design and verification of communication procedures: A bottom-up approach, Proceedings of the 3rd international conference on Software engineering, p.168-174, May 10-12, 1978, Atlanta, Georgia, United States
	Rajan Suri, Infinitesimal perturbation analysis for general discrete event systems, Journal of the ACM (JACM), v.34 n.3, p.686-717, July 1987
	Vlatko Čeric, Hierarchical abilities of diagrammatic representations of discrete event simulation models, Proceedings of the 26th conference on Winter simulation, p.589-594, December 11-14, 1994, Orlando, Florida, United States
	Allen M. Johnson, Jr. , Miroslaw Malek, Survey of software tools for evaluating reliability, availability, and serviceability, ACM Computing Surveys (CSUR), v.20 n.4, p.227-269, Dec. 1988
	Ira R. Forman, petri—a UNIX tool for the analysis of Petri nets, Proceedings of 1986 ACM Fall joint computer conference, p.1092-1098, November 1986, Dallas, Texas, United States
	John H. Reif, Data flow analysis of communicating processes, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.257-268, January 29-31, 1979, San Antonio, Texas
	R. M. Mattheyses , S. E. Conry, Models for specification and anaysis of parallel computing systems, ACM SIGSIM Simulation Digest, v.11 n.1, p.215-224, Fall 1979
	W. N. Robinson, Negotiation behavior during requirements specification, Proceedings of the 12th international conference on Software engineering, p.268-276, March 26-30, 1990, Nice, France
	Wasfi Al-Khatib , Arif Ghafoor, An approach for video meta-data modeling and query processing, Proceedings of the seventh ACM international conference on Multimedia (Part 1), p.215-224, October 30-November 05, 1999, Orlando, Florida, United States
	Lee Schruben , Enver Yücesan, Transforming Petri nets into event graph models, Proceedings of the 26th conference on Winter simulation, p.560-565, December 11-14, 1994, Orlando, Florida, United States
	Robert Allen , David Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology (TOSEM), v.6 n.3, p.213-249, July 1997
	Walling R. Cyre, Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs, IEEE Transactions on Knowledge and Data Engineering, v.9 n.1, p.8-23, January 1997
	R. Maiocchi , B. Pernici, Temporal Data Management Systems: A Comparative View, IEEE Transactions on Knowledge and Data Engineering, v.3 n.4, p.504-524, December 1991
	H. G. Mendelbaum , D. Finkelman, Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems, IEEE Computer Graphics and Applications, v.9 n.1, p.40-46, January 1989
	R. R. Brooks , Mengxia Zhu , Jacob Lamb , S. S. Iyengar, Aspect-oriented design of sensor networks, Journal of Parallel and Distributed Computing, v.64 n.7, p.853-865, July 2004
	Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su, E-services: a look behind the curtain, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-14, June 09-11, 2003, San Diego, California
	Zhiming Zhao , Dick Van Albada , Peter Sloot, Agent-Based Flow Control for HLA Components, Simulation, v.81 n.7, p.487-501, July 2005
	R. Castello , R. Mili, Visualizing graphical and textual formalisms, Information Systems, v.28 n.7, p.753-768, 1 October 2003
	J. Li , J. S. K. Ang , X. Tong , M. Tueni, AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge, IEEE Transactions on Knowledge and Data Engineering, v.6 n.4, p.639-643, August 1994
	Shu-Ching Chen , R. L. Kashyap, A Spatio-Temporal Semantic Model for Multimedia Database Systems and Multimedia Information Systems, IEEE Transactions on Knowledge and Data Engineering, v.13 n.4, p.607-622, July 2001
	Scott Meyers , Steven P. Reiss, A system for multiparadigm development of software systems, Proceedings of the 6th international workshop on Software specification and design, October 25-26, 1991, Como, Italy
	C. H. Sauer , E. A. MacNair, Simultaneous resource possession in queueing models of computers, ACM SIGMETRICS Performance Evaluation Review, v.7 n.1-2, p.41-52, Spring-Summer 1978
	A. Sarkar, System design using an integrated specification and performance modeling methodology, Proceedings of the conference on European design automation, p.542-547, September 1996, Geneva, Switzerland
	M. Azuma , M. Takahashi , S. Kamiya , K. Minomura, Interactive software development tool: ISDT, Proceedings of the 5th international conference on Software engineering, p.153-162, March 09-12, 1981, San Diego, California, United States
	S. Aggarwal , D. Barbaŕ , K. Z. Meth, A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency, IEEE Transactions on Software Engineering, v.14 n.3, p.280-290, March 1988
	Lee W. Schruben, Building reusable simulators using hierarchical event graphs, Proceedings of the 27th conference on Winter simulation, p.472-475, December 03-06, 1995, Arlington, Virginia, United States
	Tilak Agerwala , Yong-Chai Choed-Amphai, A synthesis rule for concurrent systems, Proceedings of the 15th conference on Design automation, p.305-311, June 19-21, 1978, Las Vegas, Nevada, United States
	K. W. Wong , E. A. Unger, Specification and verification of active message systems, Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems, p.24-30, March 28-30, 1990, Crystal City, Virginia, United States
	Marco Ajmone Marsan , Gianni Conte , Gianfranco Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems (TOCS), v.2 n.2, p.93-122, May 1984
	W. R. Cyre , A. Thakar, Generating Validation Feedback for Automatic Interpretation of Informal Requirements, Formal Methods in System Design, v.10 n.1, p.73-92, February 1997
	Hideharu Amano , Taisuke Boku , Tomohiro Kudoh, (SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations, IEEE Transactions on Computers, v.39 n.7, p.889-905, July 1990
	Thomas L. Casavant , Jon G. Kuhl, A Communicating Finite Automata Approach to Modeling Distributed Computation and its Application to Distributed Decision-Making, IEEE Transactions on Computers, v.39 n.5, p.628-639, May 1990
	Ichiro Suzuki , Harngdar Lu, Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter, IEEE Transactions on Computers, v.38 n.5, p.696-704, May 1989
	G. M. Karam , C. M. Stanczyk , G. W. Bond, Critical Races in Ada Programs, IEEE Transactions on Software Engineering, v.15 n.11, p.1471-1480, November 1989
	G. Balbo , S. C. Bruell , S. Ghanta, Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior, IEEE Transactions on Computers, v.37 n.10, p.1251-1268, October 1988
	Richard N. Taylor , David L. Levine , Cheryl D. Kelly, Structural Testing of Concurrent Programs, IEEE Transactions on Software Engineering, v.18 n.3, p.206-215, March 1992
	Jeannette M. Wing, A Specifier's Introduction to Formal Methods, Computer, v.23 n.9, p.8-23, September 1990
	Gerald M. Karam , Raymond J. A. Buhr, Temporal Logic-Based Deadlock Analysis for Ada, IEEE Transactions on Software Engineering, v.17 n.10, p.1109-1125, October 1991
	Ichiro Suzuki, Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets, IEEE Transactions on Software Engineering, v.16 n.11, p.1273-1281, November 1990
	S. M. Rezaul Islam , Hany H. Ammar, Performability Analysis of Distributed Real-Time Systems, IEEE Transactions on Computers, v.40 n.11, p.1239-1251, November 1991
	Lung-Chun Liu , Ellis Horowitz, A Formal Model for Software Project Management, IEEE Transactions on Software Engineering, v.15 n.10, p.1280-1293, October 1989
	K. P. Mikkilineni , Y. C. Chow , S. Y. W. Su, Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries, IEEE Transactions on Software Engineering, v.14 n.11, p.1656-1667, November 1988
	Tadao Murata , Du Zhang, A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs, IEEE Transactions on Software Engineering, v.14 n.4, p.481-497, April 1988
	Dino Mandrioli, On teaching theoretical foundations of Computer Science, ACM SIGACT News, v.14 n.4, p.58-69, Fall-Winter 1982
	T. Y. Lin, Extensions of pushdown automata and Petri nets, Proceedings of the 17th conference on ACM Annual Computer Science Conference, February 21-23, 1989, Louisville, Kentucky
	C. Roland , C. Richard , S. Leifert, A proposal for information systems design and management, ACM SIGDA Newsletter, v.10 n.2, p.83-109, Aut. 1980
	Y. Wolfstahl , M. Yoeli, An Equivalence Theorem for Labeled Marked Graphs, IEEE Transactions on Parallel and Distributed Systems, v.5 n.8, p.886-891, August 1994
	Fred Rose , John Shackleton , Carl Hein, Performance Modeling of System Architectures, Journal of VLSI Signal Processing Systems, v.15 n.1-2, p.97-109, Jan. 1997
	Roel Wuyts , Stéphane Ducasse , Oscar Nierstrasz, A data-centric approach to composing embedded, real-time software components, Journal of Systems and Software, v.74 n.1, p.25-34, January 2005
	Giacomo Bucci , Andrea Fedeli , Luigi Sassoli , Enrico Vicario, Timed State Space Analysis of Real-Time Preemptive Systems, IEEE Transactions on Software Engineering, v.30 n.2, p.97-111, February 2004
	Elisa Bertino , Elena Ferrari, Temporal Synchronization Models for Multimedia Data, IEEE Transactions on Knowledge and Data Engineering, v.10 n.4, p.612-631, July 1998
	D. L. Nazareth, Investigating the Applicability of Petri Nets for Rule-Based System Verification, IEEE Transactions on Knowledge and Data Engineering, v.5 n.3, p.402-415, June 1993
	Y. Deng , S. -K. Chang, A G-Net Model for Knowledge Representation and Reasoning, IEEE Transactions on Knowledge and Data Engineering, v.2 n.3, p.295-310, September 1990
	Jeremiah Nummela , Bryant A. Julstrom, Evolving petri nets to represent metabolic pathways, Proceedings of the 2005 conference on Genetic and evolutionary computation, June 25-29, 2005, Washington DC, USA
	G. M. Karam , R. J. A. Buhr, Starvation and Critical Race Analyzers for Ada, IEEE Transactions on Software Engineering, v.16 n.8, p.829-843, August 1990
	Victor Pankratius , Wolffried Stucky, A formal foundation for workflow composition, workflow view definition, and workflow normalization based on petri nets, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling, p.79-88, January 01, 2005, Newcastle, New South Wales, Australia
	Shih-Hsi Liu , Barrett R. Bryant , Jeffrey G. Gray , Rajeev Raje , Andrew Olson , Mikhail Auguston, Two-level assurance of QoS requirements for distributed real-time and embedded systems, Proceedings of the 2005 ACM symposium on Applied computing, March 13-17, 2005, Santa Fe, New Mexico
	C. Mohan, Survey of recent operating systems research, designs and implementations, ACM SIGOPS Operating Systems Review, v.12 n.1, p.53-89, January 1978
	Peep Küngas, Resource-conscious AI planning with conjunctions and disjunctions, Acta Cybernetica, v.15 n.4, p.601-620, December 2002
	Gregory J. D'Angelo, Tutorial on petri nets, ACM SIGSIM Simulation Digest, v.14 n.1-4, p.10-25, 1983
	Jonathan E. Cook , Zhidian Du , Chongbing Liu , Alexander L. Wolf, Discovering models of behavior for concurrent workflows, Computers in Industry, v.53 n.3, p.297-319, April 2004
	Dallas E. Webster, Mapping the Design Information Representation Terrain, Computer, v.21 n.12, p.8-23, December 1988
	H. H. Ammar , S. M. Rezaul Islam, Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models, IEEE Transactions on Software Engineering, v.15 n.6, p.809-820, June 1989
	W. F. Ogden , W. E. Riddle , W. C. Round, Complexity of expressions allowing concurrency, Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.185-194, January 23-25, 1978, Tucson, Arizona
	Eric L. Savage , Lee W. Schruben , Enver Yücesan, On the Generality of Event-Graph Models, INFORMS Journal on Computing, v.17 n.1, p.3-9, Winter 2005
	James S. K. Ang , Jianz Hong, AMS formalism: an approach to office modeling and OIS development, ACM SIGMIS Database, v.25 n.4, p.25-38, Nov. 1994
	James T. Canning, A hands-on dataflow architecture/programming course, ACM SIGCSE Bulletin, v.23 n.2, p.29-32, June 1991
	Michael Schrefl , Markus Stumptner, Behavior-consistent specialization of object life cycles, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.1, p.92-148, January 2002
	Michael K. Molloy, A CAD tool for stochastic Petri nets, Proceedings of 1986 ACM Fall joint computer conference, p.1082-1091, November 1986, Dallas, Texas, United States
	Ronald M. Lee , Young U. Ryu, DX: a deontic expert system, Journal of Management Information Systems, v.12 n.1, p.145-169, June 1995
	H. Rex Hartson, Architectural approaches to secure databases, ACM SIGSMALL Newsletter, v.6 n.1, p.16-24, June/July 1980
	Ji Zhang , Betty H. C. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Andreas Oberweis , Victor Pankratius , Wolffried Stucky, Product lines for digital information products, Information Systems, v.32 n.6, p.909-939, September, 2007
	Dipankar Das , P. P. Chakrabarti , Rajeev Kumar, Functional verification of task partitioning for multiprocessor embedded systems, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.12 n.4, p.44-es, September 2007
	Hassan Reza , Emanuel S. Grant, A method to test concurrent systems using architectural specification, The Journal of Supercomputing, v.39 n.3, p.347-357, March 2007
	Michel Léonard , B. T. Luong, Information systems design approach integrating data and transactions, Proceedings of the seventh international conference on Very Large Data Bases, p.235-246, September 09-11, 1981, Cannes, France
	Colette Rolland , S. Leifert , Christian Richard, Tools for information system dynamics management, Proceedings of the fifth international conference on Very Large Data Bases, p.251-261, October 03-05, 1979, Rio de Janeiro, Brazil
	Georg Grossmann , Michael Schrefl , Markus Stumptner, Modelling inter-process dependencies with high-level business process modelling languages, Proceedings of the fifth on Asia-Pacific conference on conceptual modelling, January 01-01, 2008, Wollongong, NSW, Australia
	Alan M. Davis , Kathleen Jordan , Tsuyoshi Nakajima, Elements underlying the specification of requirements, Annals of Software Engineering, 3, p.63-100, 1997
	Brian J. Ross, The Evolution of Concurrent Programs, Applied Intelligence, v.8 n.1, p.21-32, January-February 1998
	Mark A. Ardis, Formal methods for telecommunication system requirements: A survey of standardized languages, Annals of Software Engineering, 3, p.157-187, 1997
	W. Vasconcelos , D. Robertson , C. Sierra , M. Esteva , J. Sabater , M. Wooldridge, Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming, Annals of Mathematics and Artificial Intelligence, v.41 n.2-4, p.135-169, August 2004
	Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992
	A. A. Omar , F. A. Mohammed, A survey of software functional testing methods, ACM SIGSOFT Software Engineering Notes, v.16 n.2, p.75-82, April 1991
	Sandhya M. Desai, Unification of underlying concepts in different office models, ACM SIGMIS Database, v.22 n.1-2, p.38-45, Winter/Spring 1991
	John A. Miller , Gregory T. Baramidze , Amit P. Sheth , Paul A. Fishwick, Investigating Ontologies for Simulation Modeling, Proceedings of the 37th annual symposium on Simulation, p.55, April 18-22, 2004
	Faizan Javed , Marjan Mernik , Jeff Gray , Barrett R. Bryant, MARS: A metamodel recovery system using grammar inference, Information and Software Technology, v.50 n.9-10, p.948-968, August, 2008
	Ayaz Isazadeh , Jaber Karimpour, Viewcharts: Syntax and Semantics, Informatica, v.19 n.3, p.345-362, August 2008
	Feilong Tang , Minglu Li , Minyi Guo, A transactional grid workflow service for ShanghaiGrid, International Journal of Web and Grid Services, v.3 n.4, p.424-446, October 2007
	Jyhjong Lin, A method for modeling service management of e-Learning, WSEAS Transactions on Information Science and Applications, v.5 n.7, p.1251-1261, July 2008
	Slobodan Ribaric , Nikola Pavesic, INFERENCE PROCEDURES FOR FUZZY KNOWLEDGE REPRESENTATION SCHEME, Applied Artificial Intelligence, v.23 n.1, p.16-43, January 2009
	Takashi Ajiro , Kensei Tsuchida, A Model of Computation for Bit-Level Concurrent Computing and Programming: APEC, IEICE - Transactions on Information and Systems, v.E91-D n.1, p.1-14, January 2008
	Jyhjong Lin, A modeling method for service management of e-Learning, Proceedings of the 8th conference on Applied informatics and communications, p.276-282, August 20-22, 2008, Rhodes, Greece
	Gabriel L. Zenarosa , Soumya Simanta, Experiences in engineering active replication into a traditional three-tiered client-server system, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	L. S. Baumann , R. D. Coop, Automated workflow control: a key to office productivity, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
	Ivor Ladd , D. C. Tsichritzis, An office form flow model, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California
	Harold W. Lawson, Jr., New directions for micro- and system architectures in the 1980s, Proceedings of the May 4-7, 1981, national computer conference, May 04-07, 1981, Chicago, Illinois
	Eric Le Mer, MEDOC: a methodology for designing and evaluating large-scale real-time systems, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas
	Michael K. Molloy , James L. Peterson, Petri net, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	Erietta Liarou , Romulo Goncalves , Stratos Idreos, Exploiting the power of relational databases for efficient stream processing, Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology, March 24-26, 2009, Saint Petersburg, Russia
	Yuehua Lin , Jeff Gray , Jing Zhang , Steve Nordstrom , Aniruddha Gokhale , Sandeep Neema , Swapna Gokhale, Model replication: transformations to address model scalability, Software—Practice & Experience, v.38 n.14, p.1475-1497, November 2008
	Ivo Vondrák, Business Process Modeling, Proceeding of the 2007 conference on Information Modelling and Knowledge Bases XVIII, p.223-235, June 04, 2007