article

Free access

Petri Nets

Author:

James L. PetersonAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 9, Issue 3

Pages 223 - 252

https://doi.org/10.1145/356698.356702

Published: 01 September 1977 Publication History

PDF eReader

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.]]

Google Scholar

[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.]]

Google Scholar

[3]

AGERWALA, T.; AND FLYNN M. "Comments on capabihtms, hmitations and 'correctness' of Petri nets," in Proc. 1st Annual Symp Computer Architecture, G. J. Lipovskl, and S. A. Szygenda (Eds.), ACM, N.Y., 1973, pp. 81-86.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[5]

BAn, J.L. "Modelling for parallel computation: a case study," in Proc. 1973 Sagamore Computer Conf. Parallel Processing, Springer- Verlag, N.Y., 1973.]]

Google Scholar

[6]

BABR, J. L. "A survey of some theoretical aspects of multiprocessing," Computing Surveys 5, 1 (March 1973), 31-80.]]

Crossref

Google Scholar

[7]

BAKER, H. G. Petri nets and languages, Computation Structures Group Memo 68, Project MAC, MIT, Cambridge, Mass., May 1972, 6 pp.]]

Google Scholar

[8]

BAKES, H.G. "Equivalence problems of Petri nets," MS Thesis, Dep.t Electrical Eng,-" neering, MIT, Cambridge, Mass., June 1973, 53 pp.]]

Google Scholar

[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.]]

Google Scholar

[10]

BERNSTEIN, A.J. "Program analysis for parallel processing," IEEE Trans. Electronic Comp. EC-15, (Oct. 1966), 757-762.]]

Google Scholar

[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.]]

Google Scholar

[12]

CBmz, V. G. "Multiprocessors, semaphores, and a graph model of computation," PhD Thesin, Computer Science Dept., Univ. Calif., Los Angeles, April 1972.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[15]

Cotr~As, E. G.; AND DENN~C, P. J. Operating systems theory, Ch. 2, Prentice- Hall, Englewood Cliffs, N. J., 1973, pp. 31-82.]]

Crossref

Google Scholar

[16]

COMMO~R, F. G. Deadlocks in Petri nets, CA-7206-2311, Applied Data Research, Wakefield, Mass., June 1972, 50 pp.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[21]

CEESPI-REGH|ZZI, S.; AND MANDEIOLI, D. "Petri nets and Szilard languages," Information and Control 33, 2 (Feb. 1977), 177-192.]]

Google Scholar

[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.]]

Google Scholar

[23]

DzNms, J.B= (Ed.), Record of the project MAC conf. concurrent systems and parallel computation, ACM, N. Y., 1970, 199 pp.]]

Google Scholar

[24]

DENms, J.B., Concurrency in software systems, Computation Structures Group Memo 65-1, Project MAC, MIT, June 1972, 18 pp.; also in Advanced course in software engineering, F. L. Bauer (Ed.), Springer-Verlag, Berlin, W. Germany, 1973, pp. 111-127.]]

Crossref

Google Scholar

[25]

DIJ~.STRA, E. W., "Cooperating sequential processes," in Programming languages, F. Genuys (Ed.), Academic Press, N. Y., 1968, pp. 43-112.]]

Google Scholar

[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.]]

Google Scholar

[27]

FURTEX, F. "Modular implementation of Petri nets," MS Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., Sept 1971.]]

Google Scholar

[28]

FURTEK, F. C. "The logic of systems," PhD Thesis, Dept. ElectricalEngineering, MIT, Cambridge, Mass., May 1976; also Tech. Rep. 170, MIT Laboratory Computer Science, June 1976.]]

Crossref

Google Scholar

[29]

GENRICH, H. J. Einfache nicht-sequentielle Prozesse (Simple nonsequential processes), Gesellschaft fiir Mathematlk und Datenverarbeitung, Birlinghoven, W. Germany, 1970.]]

Google Scholar

[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.]]

Google Scholar

[31]

GosvELOW, K.P. "Flow of control, resource allocation and the proper termination of programs," PhD Thesis, Computer Scmnce Dept., Univ. Calif., Los Angeles, Dec. 1971, 219 pp.]]

Crossref

Google Scholar

[32]

HACK, M. "Analysis of production schemata by Petri nets," MS Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass.; also: MAC TR-94, Project MAC, MIT, Feb. 1972, 119 pp; Errata: Hack, M. Correctmns to 'Analysis of production schemata by Petri nets,' Computation Structures Note 17, Project MAC, MIT, June 1974, 11 pp.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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).]]

Google Scholar

[37]

HACK, M. Petri net languages, Computation Structures Group Memo 124, Project MAC, MIT, Cambridge, Mass., June 1975, 128 pp.; also TR 159, Laboratory Computer Science, MIT, March 1976.]]

Crossref

Google Scholar

[38]

HACK, M. "Decidability questions for Petri nets," PhD Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., Dec. 1975; also TR-161, Laboratory Computer Science, MIT, June 1976, 194 p~.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[40]

HANSAL, A.; AND SCHWAB, G.M. On marked graphs III, Report LN 25.6.038, IBM Vienna Laboratories, Vienna, Austrm, Sept. 1972.]]

Google Scholar

[41]

HENHAPL, W. Firing sequences of marked graphs, Report LN 25.6.023, IBM Vienna Laboratories, Vienna, Austria, June 1972.]]

Google Scholar

[42]

HENHAPL, W. Finn g sequences of marked graphs II, Report LN 25.6.036, IBM Vienna Laboratories, Vienna, Austria, June 1972.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[46]

IZmCKI, H. On marked graphs, Report LR 25.6.023, IBM Vienna Laboratories, Vienna, Austria, Sept. 1971.]]

Google Scholar

[47]

IzBIcKI, H. On marked graphs H, Report LN 25.6.029, IBM Vienna Laboratories, Vienna, Austria, Jan. 1972.]]

Google Scholar

[48]

JACK, L. "Graphical representation for fault tolerant phenomena," presented at Seminar, Dept. Electrical Engineering, Univ. Texas, Austin, Jan. 1976.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[51]

KARP, R. M.; AND MILLER, R. E. 'Tarallel ~ rogram schemata," J. Computer and Systems cience 3, 4 (May 1969), 167-195.]]

Google Scholar

[52]

KAsAm, T.; TOKURA, N.; AND PETERSON, W. W. "Vector addition systems and synchronization problems of concurrent processes," draft manuscript, 1974.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[55]

KELLER, R. M. "Look-ahead processors," Computzng Surveys 7, 4 (Dec. 1975), 177-196.]]

Crossref

Google Scholar

[56]

KELLER, R.M. ~Formal verifw.ation of paral- !el programs," Comm. ACM 19, 7 (July 1976), 371-384.]]

Crossref

Google Scholar

[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.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[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]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[62]

LIzN, Y.E. "Termination properties of generalized Petri nets," SIAM J. Computing 5, 2 (June 1976), 251-265.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[65]

MELDMAN, J. A.; AND HOLT, A. W. ~Petri nets and legal systems," Jurimetrics J. 12, 2 (Dec. 1971).]]

Google Scholar

[66]

MERLIN, P.A. "A study of recoverability of computing systems," PhD. Thesis, Dept. Information and Computer Science, Univ. Calif. Irvme, 1974, 165 pp.]]

Crossref

Google Scholar

[67]

MISUNAS, D. "Petri nets and speed independent design," Comm. ACM 16, 8 (Aug. 1973), 474-481.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[70]

NASH, B. O. "Reachability problems in vector addition systems," American Math. Monthly 80, 3 (March 1973), 292-295.]]

Google Scholar

[71]

Noz, J. D. A Petri net model of the CDC 6400, Report 71-04-03, Computer Science Dept., Umv'. Washington, 1971; also in Proc. A CM SIGOPS Workshop on System Performance Evaluation, ACM, N.Y., 1971, pp. 362- 378.]]

Crossref

Google Scholar

[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.]]

Google Scholar

[73]

PA~IL, S. S. "Coordination of asynchronous events," PhD Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., May 1970; also MAC TR-72, Project MAC, MIT, June 1970, 236 p~...]]

Crossref

Google Scholar

[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.]]

Google Scholar

[75]

PATIL, S. S. Ctrcutt tmplementatton of Petri nets, Computation Structures Group Memo 73, Project MAC, MIT, Cambridge, Mass., Dec. 1972, 14 pp.]]

Google Scholar

[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.]]

Google Scholar

[77]

PET~RSON, J. L. "Modelhng of parallel systems," PhD Thesis, Dept. Electrical Engineering, Stanford Univ., Stanford, Cahf., Dec. 1973, 241 pp.]]

Google Scholar

[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.]]

Google Scholar

[79]

PZTERsoN, J. L. "Computation sequence sets," J. Computer and System Sciences 13, 1 (Aug. 1976) 1-24.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[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.]]

Google Scholar

[84]

RAMCHANDANI, C. "Analysis of asynchronous concurrent systems by timed Petn nets," PhD Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., 1974; also MAC-TR- 120, Project MAC, MIT, Feb. 1974.]]

Crossref

Google Scholar

[85]

RXDDLE, W.E. "The modelhng and analysis of supervisory systems," PhD Thesis, Computer Science Dept., Stanford Umv., Stanford, Calif., March 1972, 173 pp.]]

Crossref

Google Scholar

[86]

RIVDLE, W.E. The equzvalence of Petrz nets and message transmission models, SRM 97, Umv. Newcastle Upon Tyne, England, Aug. 1974, 11 pp.]]

Google Scholar

[87]

RovmGVZZ, J.E. "A graph model for parallel computation," PhD Thesis, Dept. Electrical Engineering, MIT, Cambridge, Mass., Sept. 1967, 120 pp.]]

Google Scholar

[88]

SACERDOTE, G.; AND TENNEY, R.L. "The decidabllity of the reachability problem for vector addition systems," (submitted for publication), Nov. 1976, 8pp.]]

Google Scholar

[89]

SLUTZ, D. R. "The flow graph schemata model of parallel computation," PhD Thesis, Dept Electrical Engineering, MIT, Cambridge, Mass., Sept. 1968.]]

Google Scholar

[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.]]

Google Scholar

[91]

THORNTON, J. E. Design of a computer, the Control Data 6600, Scott, Foresman and Co., Glenview, Ill., 1970, 181 pp.]]

Crossref

Google Scholar

[92]

TSlCHR~ZlS, D. Modular system descr~ptlon, Tech. Rep. 33, Dept. Computer Science, Univ. Toronto, Toronto, Canada, Oct. 1971, 20 pp.]]

Google Scholar

[93]

VAN LESVWEN, J. "A partial solution to the reachabdity-problem for vector addltlon systems," in Proc 6th Annual ACM Symp. Theory of Computing, ACM, N.Y., 1974, pp. 303- 309.]]

Crossref

Google Scholar

Cited By

View all

Chini ESala PSimonetti AZare O(2024)Reactive Synthesis for Expected ImpactsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.409.7409(35-52)Online publication date: 30-Oct-2024
https://doi.org/10.4204/EPTCS.409.7
Fernández-Sebastián ÓCárdenas RArroba PRisco-Martín J(2024)A Novel Real-Time DEVS Simulation Architecture with Hardware-In-The-Loop Capabilities2024 Annual Modeling and Simulation Conference (ANNSIM)10.23919/ANNSIM61499.2024.10732833(1-13)Online publication date: 20-May-2024
https://doi.org/10.23919/ANNSIM61499.2024.10732833
Belina JPflugradt NStolten D(2024)ETHOS.PeNALPS: A Tool for the Load Profile Simulation of Industrial Processes Based on a Material Flow SimulationJournal of Open Source Software10.21105/joss.063589:97(6358)Online publication date: May-2024
https://doi.org/10.21105/joss.06358
Show More Cited By

Recommendations

Non Equivalence between Time Petri Nets and Time Stream Petri Nets
PNPM '99: Proceedings of the The 8th International Workshop on Petri Nets and Performance Models

It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri Nets. In this paper, we show that it does not exist a time equivalence between both models. We extend first this result to the nonequivalence of Timed Automata and ...
From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation
WSC '19: Proceedings of the Winter Simulation Conference

Petri Net, a widely studied mathematical formalism, is a graphical notation for modeling systems. Petri Nets provide the foundation for modeling concurrency, communication, synchronization, and resource sharing constraints that are inherent to many ...
Petri nets and resource bisimulation
Concurrency Specification and Programming (CS&P'2002), Part 2

Resources are defined as submultisets of Petri net markings. Two resources are called similar if replacing one of them by another in any marking doesn't change the Petri net's behavior. We define the relations of resource similarity and resource ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 9, Issue 3

Sept. 1977

89 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/356698

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1977

Published in CSUR Volume 9, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1,210
Total Citations
View Citations
12,155
Total Downloads

Downloads (Last 12 months)1,476
Downloads (Last 6 weeks)191

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chini ESala PSimonetti AZare O(2024)Reactive Synthesis for Expected ImpactsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.409.7409(35-52)Online publication date: 30-Oct-2024
https://doi.org/10.4204/EPTCS.409.7
Fernández-Sebastián ÓCárdenas RArroba PRisco-Martín J(2024)A Novel Real-Time DEVS Simulation Architecture with Hardware-In-The-Loop Capabilities2024 Annual Modeling and Simulation Conference (ANNSIM)10.23919/ANNSIM61499.2024.10732833(1-13)Online publication date: 20-May-2024
https://doi.org/10.23919/ANNSIM61499.2024.10732833
Belina JPflugradt NStolten D(2024)ETHOS.PeNALPS: A Tool for the Load Profile Simulation of Industrial Processes Based on a Material Flow SimulationJournal of Open Source Software10.21105/joss.063589:97(6358)Online publication date: May-2024
https://doi.org/10.21105/joss.06358
Wasserman ALaemmel RPereira JMosses P(2024)Design of Software Representation Languages: A Historical PerspectiveProceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3687997.3695649(104-112)Online publication date: 17-Oct-2024
https://dl.acm.org/doi/10.1145/3687997.3695649
Gramoli LCumin JLacoche JFoulonneau AArnaldi BGouranton V(2024)Generating and Evaluating Data of Daily Activities with an Autonomous Agent in a Virtual Smart HomeACM Transactions on Multimedia Computing, Communications, and Applications10.1145/366533121:1(1-25)Online publication date: 22-May-2024
https://dl.acm.org/doi/10.1145/3665331
Földiák MCombemale BWimmer MChechik MEgyed A(2024)Probabilistic Graph Queries for Design Space Exploration Under UncertaintyProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3652620.3688199(142-148)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3652620.3688199
van der Weide NRasekh NAhrens BNorth PTimany ATraytel DPientka BBlazy S(2024)Univalent Double CategoriesProceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3636501.3636955(246-259)Online publication date: 9-Jan-2024
https://dl.acm.org/doi/10.1145/3636501.3636955
Martínez-Carrascal JMunoz-Gama JSancho-Vinuesa T(2024)Evaluation of Recommended Learning Paths Using Process Mining and Log Skeletons: Conceptualization and Insight into an Online Mathematics CourseIEEE Transactions on Learning Technologies10.1109/TLT.2023.329803517(555-568)Online publication date: 1-Jan-2024
https://dl.acm.org/doi/10.1109/TLT.2023.3298035
Hsiao YDutta A(2024)Network Modeling and Control of Dynamic Disease Pathways, Review and PerspectivesIEEE/ACM Transactions on Computational Biology and Bioinformatics10.1109/TCBB.2024.337815521:5(1211-1230)Online publication date: Sep-2024
https://doi.org/10.1109/TCBB.2024.3378155
Mansur SKurniati ARojas EAdiwijaya (2024)Process Mining to Improve Clinical Pathways in Breast Cancer Treatment Using the Indonesia Health Insurance Dataset2024 12th International Conference on Information and Communication Technology (ICoICT)10.1109/ICoICT61617.2024.10698658(1-8)Online publication date: 7-Aug-2024
https://doi.org/10.1109/ICoICT61617.2024.10698658
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

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

References

Cited By

Recommendations

Non Equivalence between Time Petri Nets and Time Stream Petri Nets

From Petri Nets to colored Petri Nets: a tutorial introduction to nets based formalism for modeling and simulation

Petri nets and resource bisimulation

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations