Petri nets: Properties, analysis and applications

lipton, 1976, The reachability problem requires exponential space

lin, 1983, Petri net models for computer security, Bull Inst Math Academia Sinica, 11, 439

10.1016/j.proeng.2012.08.113

liu, 1986, Petri net application to functional fault diagnosis, Proc IEEE 1986 Int Symp Circuits Syst, 1323

kr�ckeberg, 1987, Mathematical methods for calculating invariants in Petri nets, LNCS, 266, 104

khan, 1981, on the determination of the solution of a class of murata's state equation of petri nets, Proceedings of the IEEE, 69, 466, 10.1109/PROC.1981.11991

10.1145/800119.803908

holliday, 1986, The GTPN analyzer: numerical methods and user interface, Proc 1986 Fall Joint Computer Conf, 1099

largen, 1983, Use of prime numbers for computer-aided analysis of colored Petri nets, Proc 26th Midwest Symp Circuits Syst, 124

petri, 1978, Concurrency as a basis of systems thinking

petri, 1962, Kommunikation mit Automaten, 3

devillers, 1985, The semantics of capacities in P/T nets: A first look, Proc 4th Euro Workshop Appl Theory Petri Nets, 171

kosaraju, 1982, Decidability of reachability in vector addition systems, Proc of the 19th Annu ACM Symp on the Theory of Computing, 267

agerwala, 0

hack, 1975, Decidability questions for Petri nets

10.1137/0213029

lautenbach, 1975, Liveness in Petri nets

1966, Communication with automata, 1

10.1016/0743-7315(87)90032-3

10.1016/0304-3975(76)90008-6

kung, 0, Timing analysis and design optimization of VLSI dataflow arrays, Proc 1986 Int Conf Parallel Processing

martinez, 1983, Software for Computer Control, 243

molloy, 1986, A CAD tool for stochastic Petri nets, Proc 1986 Fall Joint Computer Conf, 1082

meyer, 1985, Stochastic activity networks: structure behaviour and application, Proc Int Workshop Timed Petri Nets, 106

10.1016/0020-0190(84)90067-X

10.1109/TCS.1987.1086189

marsan, 1987, On Petri nets with deterministic and exponential transition firing times, LNCS, 266, 132

10.1145/190.191

marsan, 1987, Performance Models of Multiprocessor Systems

10.1109/SWAT.1974.28

10.1109/32.16599

10.1016/S0026-2714(85)80029-9

10.1109/TSE.1987.233141

10.1016/0016-0032(85)90052-3

10.1109/TSE.1985.231869

dugan, 1984, Extended stochastic Petri nets: Applications and analysis," PERFORMANCE '84, Models of Comput. System Performance, Proc of Int Symp, 507

petri, 1980, Lecture Notes in Computer Science, 84, 251, 10.1007/3-540-10001-6_26

petri, 1980, Lecture Notes in Computer Science, 84, 1, 10.1007/3-540-10001-6_21

petri, 1977, Measuring Modelling and Evaluating Computer Systems, 435

petri, 1977, Communication disciplines, Proc Joint IBM & Newcastle upon Tyne Seminar on Computer System Design, 171

petri, 1976, Interpretations of net theory

petri, 1973, Concepts of net theory, Mathematical Foundations on Computer Science in Proc Symp and Summer School, 137

10.1145/322077.322079

10.1109/TSE.1983.235118

murata, 1984, Handbook of Software Engineering, 39

murata, 1987, Systems & Control Encyclopedia Theory Technology Applications, 3665

10.1007/978-3-642-72822-8_28

murata, 1977, Petri nets, marked graphs, and circuit-system theory: A recent CAS application, Circuits and Systems, 11, 2

10.1007/BFb0016215

10.1007/3-540-10001-6_22

10.1016/0016-0032(85)90028-6

10.1007/3-540-15204-0_6

best, 1984, Inform Process Lett 18, 215, 10.1016/0020-0190(84)90114-5

leu, 1988, Interrelationships among various concepts of fairness for Petri nets, Proc 31th Midwest Symp on Circuits and Systems

10.1007/BF00290730

1985, Proc Int Workshop Timed Petri Nets

0, Petri Net Newsletter

1987, Proc 6th Int Workshop on Petri Nets and Performance Models

1982, Application and Theory of Petri Nets, First and Second European Workshop on Applications and Theory of Petri Nets, 52

1985, Advances in Petri Nets 1984, 188

1982, Applications and Theory of Petri Nets, 6th Eur Workshop Application Theory Petri Nets, 66

1987, Advances in Petri Nets 1987, 266

1986, Advances in Petri Nets 1985, 222

murata, 1976, On liveness, deadlock, and reachability of E-nets, Proc Allerton Conf Circuit Syst Theory, 597

10.1007/3-540-18086-9_32

murata, 1976, State equation for E-net interpreted marked graphs, Proc 35th Midwest Symp Circuits and Systems, 152

1987, Advances in Petri Nets

schmid, 1978, A step towards a solution of the liveness problem in Petri nets

zuberek, 1986, Lecture Notes in Computer Science, 222, 478, 10.1007/BFb0016227

sacerdote, 1977, The decidability of the reachability problem for vector addition systems, Proc Ann Symp Theory of Computing, 61

10.1109/TCOM.1982.1095452

seitz, 1971, Graph representations for logical machines

schnieder, 1986, Proze Informatik Braunschweig

starke, 1980, Petrinetze

10.1016/0304-3975(82)90067-6

tsuji, 1986, Modelling and verification of sequential control systems by Petri nets, Proc IEEE Int Symp Circuits Syst, 3, 988

10.9746/sicetr1965.21.277

meldman, 1978, A Petri-net representation of civil procedure, IDEA The Journal of Law and Technology, 19, 123

voss, 1985, Lecture Notes in Computer Science, 188, 413, 10.1007/3-540-15204-0_23

10.1016/S0020-7373(83)80057-1

10.1016/S0020-7373(88)80021-X

thieler-mevissen, 1976, The Petri net calculus of predicate logic

10.1007/BF00264434

gressier, 1985, A stochastic Petri net model for Ethernet, Proc Int Workshop on Timed Petri Nets, 296

pomello, 1986, Lecture Notes in Computer Science, 222, 381, 10.1007/BFb0016222

marsan, 1987, An accurate performance model of CSMA/CD bus LAN, LNCS, 266, 146

lautenbach, 1985, On logical and linear dependencies

10.1016/0016-0032(88)90047-6

10.1109/32.4671

10.1109/32.21746

10.1007/BF02084163

10.1109/TCOM.1976.1093424

10.1109/TCOM.1976.1093347

lopez, 1981, The use of GALILEO to represent and analyze telecommunications protocols, Proc 4th Euro Workshop Appl Theory Petri Nets, 377

10.1007/3-540-15204-0_16

florin, 1982, Informatik-Fachbrichte 52, 208

10.1016/0376-5075(82)90112-X

diaz, 1985, Lecture Notes in Computer Science, 188, 101, 10.1007/3-540-15204-0_7

bochmann, 1977, Information Processing 77, 229

10.1109/TC.1982.1676110

lemer, 1983, Software for Computer Control, 255

dugan, 1985, The design of a unified package for the solution of stochastic Petri net models, Proc Int l Workshop on Timed Petri Nets, 6

chiola, 1985, A software package for the analysis of generalized stochastic Petri net models, Proc Int Workshop Timed Petri Nets, 136

10.1109/32.4651

10.1007/3-540-17906-2_21

10.1109/TSMC.1985.6313468

zuberek, 1982, Application of timed Petri nets to analysis of multiprocessor realizations of digital filters, Proc 35th Midwest Symp Circuits and Systems, 134

nouta, 1978, Circuit Theory and Design, 315

holt, 1968, Final Report of the Information Systems Theory Project

10.1016/0066-4138(70)90003-0

holt, 1971, Associative Information Techniques, 175

commoner, 1972, Deadlocks in Petri nets

10.1109/TCOM.1987.1096819

tani, 1978, Scheduling parallel computations with storage constraints, Proc 12th Annual Asilomar Conf Circuits Systems Computers, 736

10.1016/S0022-0000(71)80013-2

10.1007/BFb0043920

1970, Record Project MAC Conf Concurrent Systems and Parallel Computation

zargham, 1985, Neural Petri nets, Proc Int Workshop Timed Petri Nets, 72

ramchandani, 1974, Analysis of asynchronous concurrent systems by timed Petri nets

10.1109/TSE.1980.230492

sifakis, 1978, Use of Petri nets for performance evaluation, Acta Cybernet, 4, 185

shapiro, 1979, A stochastic Petri net with applications to modelling occupancy times for concurrent task systems, Networks, 9, 375, 10.1002/net.3230090407

murata, 1985, Use of resource-time product concept to derive a performance measure of timed Petri nets, Proc 1985 Midwest Symp on Circuits and Systems

10.1109/TSE.1985.232230

onaga, 1981, Modeling and scheduling of resource-sharing concurrent processes in networks of recurrent multiprograms and multi-PERTs, Proc 14th Asilomar Conf Circuits Systems Computers, 168

10.1109/TC.1973.5009150

genrich, 1979, Lecture Notes in Computer Science, 70, 123, 10.1007/BFb0022467

10.1109/32.16600

yau, 1983, distributed software system design representation using modified petri nets, IEEE Transactions on Software Engineering, se 9, 733, 10.1109/TSE.1983.235581

shatz, 1985, Static analysis of Ada programs using the Petri net model, Proc ISCAS 85, 719

10.1007/3-540-17906-2_33

baranov, 1984, Method of representing parallel flow charts of algorithms by sets of sequential flowcharts, Automat Contr Comput Sci, 18, 71

ozsu, 1985, modeling and analysis of distributed database concurrency control algorithms using an extended petri net formalism, IEEE Transactions on Software Engineering, se 11, 1225, 10.1109/TSE.1985.231870

10.1109/12.2227

10.1109/TSE.1980.234502

10.1109/CDC.1988.194577

10.1109/21.87067

meldman, 1971, Petri nets and legal systems, Jurimetric Journal, 12, 65

10.1016/0304-3975(84)90137-3

colom, 1987, Applied Modelling and Simulation of Technological Systems, 529

goltz, 1984, Lecture Notes in Computer Science, 172, 196, 10.1007/3-540-13345-3_18

1970, Record Project MAC Conf Concurrent Systems Parallel Computation, 3

10.1049/cp.2011.0612

10.1007/978-1-4757-1388-6_18

10.1109/TC.1980.1675509

10.1007/BFb0016225

10.1007/978-3-642-72822-8_31

shapiro, 1978, Failure recovery in a distributed database system, Proc IEEE Compcon Spring, 66

azema, 1980, Information Processing 80, 599

han, 1978, Performance evaluation of a digital system using a Petri net-like approach, Proc Nat Electron Conf, 32, 166

azema, 1984, Specification and verification of distributed systems using PROLOG interpreted Petri nets, Proc 7th Int Conf Software Eng, 510

10.1007/978-3-642-72822-8_18

10.1109/TSE.1986.6312945

bandman, 1986, The correctness of asynchronous parallel-flow systems of data reduction, Programming and Computer Software, 12, 9

10.1007/3-540-15204-0_18

winskel, 1986, Lecture Notes in Computer Science, 222, 453, 10.1007/BFb0016226

10.1016/0096-0551(85)90010-4

viswanadham, 1987, Coloured Petri net models for automated manufacturing systems, Proc 1987 IEEE Int Conf Robot Automat, 1985, 10.1109/ROBOT.1987.1087778

10.1109/TSE.1980.230490

yu, 1978, PT-marked graphs: a reduced model of Petri nets, Proc Ann Allerton Conf Comm Cont and Computing, 175

10.1109/32.21759

10.1016/0304-3975(84)90038-0

silva, 1981, Sur le concept de macroplace et son utilisation pour l'analyse des reseaux de Petri, RAIRO Automatique, 15, 57

10.1109/TSMC.1987.4309041

leu, 1986, Maximum firing deviation and fair relations in Petri nets, Proc 1986 IEEE Int Symp Circuits Syst, 1008

10.1109/TAC.1977.1101509

hohn, 1958, Elementary Matrix Algebra

silva, 1986, B-fairness and Structural B-fairness in Petri nets models of concurrent systems

wu, 1984, Use of Petri nets for distributed control of fairness in concurrent systems, First Conf Computers and Applications, 84

wu, 1983, A Petri net model of a starvation-free solution to the dining philosopher's problem, IEEE Workshop on Languages for Automation, 192

10.1007/BFb0046846

10.1109/ROBOT.1987.1087773

10.1007/978-1-4612-4886-6

10.1109/TSE.1986.6312948

10.1007/978-3-642-68353-4_50

alla, 1985, Lec Notes Comput Sci, 188, 15, 10.1007/3-540-15204-0_2

10.1007/BF00265555

10.1016/0016-0032(80)90060-5

miller, 1974, Some relationships between various models of parallelism and synchronization

10.1109/TC.1973.5009149

martinez, 1986, Modeling and Design of Flexible Manufacturing Systems, 389

10.1109/TIE.1986.351700

demmou, 1983, A new synchronization scheme for microprocessor based realtime control systems, Proc 1983 Conf Ind Electron, 237

lipp, 1983, Application of a fuzzy Petri net for controlling complex industrial processes, IFAC Proc, 471, 10.1016/S1474-6670(17)62078-0

10.1016/S0022-0000(69)80011-5

10.1137/0114108

10.1145/321765.321782

10.1016/0022-0000(82)90014-9

goltz, 1985, CSP-programs as nets with individual tokens, Lecture Notes in Computer Science, 188, 169, 10.1007/3-540-15204-0_11

lautenbach, 1979, Analysis of a resource allocation problem using Petri nets, Proc 1st European Conf Parallel Distributed Processing, 260

10.1145/321784.321795

10.1145/360248.360251

10.1007/BF00264564

lautenbach, 1974, Use of Petri nets for proving correctness of concurrent process systems, Proc IFIP Congress, 74, 187

silva, 1985, Petri Nets in Automation and Computer Engineering

0

10.1007/3-540-10001-6_28

ichikawa, 1987, Lecture Notes in Control and Information Sciences, 103, 115, 10.1007/BFb0042308

murata, 1987, special sessions on Petri Nets and Flexible Manufacturing, Proc 1987 IEEE Int Conf Robotics Automat, 999

amin, 1976, A characterization of live and safe markings of a directed graph, Proc Conf Inform Sci Syst, 295

10.1109/TCS.1980.1084711

10.1016/0022-0000(83)90029-6

10.1007/BFb0016204

10.1109/TCS.1981.1084918

best, 1987, Lecture Notes in Computer Science, 254, 168, 10.1007/978-3-540-47919-2_8

10.1007/978-3-642-72822-8_8

0

hack, 1972, Analysis of production schemata by Petri nets

10.1016/S0019-9958(84)80052-2

kinuyama, 1986, Generating siphons and traps by Petri-net representation of logic equations, Proc 2nd IECE (Japan) Conference on Net Theory, 93

ichikawa, 1988, A class of Petri nets that a necessary and sufficient condition for reachability is obtainable, Trans Soc Instrum Contr Engineers (SICE), 24

kodama, 1988, On necessary and sufficient reachability conditions for some subclasses of Petri nets

10.1007/3-540-10001-6_23

10.1109/TCS.1977.1084357

10.1109/TCS.1984.1085479

10.1109/31.1702

commoner, 1974, Final report for the project - development of theoretical foundations for description and analysis of discrete information systems, ii

10.1109/TSE.1980.230802

murata, 1982, Method for realizing the synchronic distance matrix as a marked graph, Proc IEEE Int Symp Circuits Syst, 2, 609

leu, 1985, On maximum concurrency in a decision-free concurrent system, Proc Int Conput Symp, 2, 1065

leu, 1984, Properties and applications of the token distance matrix of a marked graph, Proc 1984 IEEE Int Symp Circuits Syst, 3, 1381

10.1016/0304-3975(81)90049-9

10.1016/0304-3975(86)90046-0

10.1016/0304-3975(81)90113-4

sifakis, 1978, Mathematical Foundations of Computer Science, 474

silva, 1989, Advances in Petri Nets 1988

memmi, 1980, Linear algebra in net theory, Lecture Notes in Computer Science, 84, 213, 10.1007/3-540-10001-6_24

10.1007/BF00264027

patil, 1970, Coordination of asynchronous events

10.1145/355609.362318

10.1145/321906.321920

10.1109/T-C.1974.223803

10.1007/978-3-642-72822-8_37

10.1109/FPL.2010.69

10.1109/TSE.1977.231172

10.1145/356802.356805

10.1007/BFb0016217

10.1145/800024.808367

10.1007/3-540-18086-9_18

mizuba, 1985, Predicate/transition net simulation based on concurrent PROLOG, Software Science and Eng, 23

10.1007/BFb0016219

jensen, 1981, How to find invariants for coloured Petri nets, Lecture Notes in Computer Science, 118, 327, 10.1007/3-540-10856-4_100

lautenbach, 1985, Invariance and duality in predicate/transition nets and in coloured nets

10.1007/978-3-642-10669-9_5

zenie, 1985, Colored stochastic Petri nets, Proc Int Workshop Timed Petri Nets, 262

10.1007/978-3-642-84524-6_10

10.1016/0020-0190(80)90032-0

zervos, 1977, Colored Petri Nets Their Properties and Applications

10.1007/BFb0016224

10.1016/S0019-9958(77)90558-7

zisman, 1977, Representation specification and automation of office procedures

hack, 1975, Petri net languages

crespi-reghizzi, 1976, Some algebraic properties of Petri nets, Alta Frequenza, 45, 130

10.1016/S0019-9958(77)80013-2

10.1016/S0022-0000(76)80047-5

mazurkiewicz, 1987, Trace theory, LNCS, 255, 279

10.1016/0304-3975(83)90021-X

darlington, 1979, A net based theorem prover for program verification and synthesis

1963, Fundamentals of a theory of asynchronous information flow, Proc IFIP Congress, 62, 386

genrich, 1976, Mathematical Foundations of Computer Science 1976, 588, 10.1007/3-540-07854-1_232

10.1016/0020-0255(85)90039-8

10.1007/978-3-642-72822-8_13

valk, 1978, Lecture Notes in Computer Science, 62, 464, 10.1007/3-540-08860-1_35

valk, 1981, Lecture Notes in Computer Science, 118, 140, 10.1007/3-540-10856-4_80

10.1016/0022-0000(84)90030-8

10.1016/0304-3975(85)90014-3

reisig, 1983, Petri nets with individual tokens, Informatik-Fachberichte, 66, 229, 10.1007/978-3-642-69028-0_16

1956, Linear Inequalities and Related Systems

10.1016/0022-0000(79)90050-3

10.1016/0304-3975(77)90041-X

hu, 1970, Integer Programming and Network Flows

10.1109/TSE.1987.233170

smigelski, 1985, A timed Petri net model and simulation of dataflow computer, Proc Int Workshop Timed Petri Nets, 56

10.1007/3-540-17906-2_35

10.1109/TC.1982.1675975

10.1109/TC.1987.5009450

krogh, 1987, Controlled Petri nets and maximally permissive feedback logic, Proc 25 Allerton Conf Communication Control and Computing, 317

kodama, 1985, special sessions on Modeling, Analysis, and Control of Discrete Event Systems: Net Theoretical Approach, Proc 1985 IEEE Int Symp Circuits Syst, 471

kumagai, 1985, Optimal realization of fault-tolerant decision-free concurrent systems, Proceedings of the 32nd Midwest Symposium on Circuits and Systems, 253

10.1080/00207218408938826

lu, 1987, Stochastic net model for self-stability measures of fault-tolerant clock synchronization, Proc 6th Int Workshop on Petri Nets and Performance Models, 104

10.1137/0205020

10.1016/0020-0255(76)90054-2

10.1007/BFb0046842

10.1007/BFb0046849

martinez, 1982, Informatik-Fachbrichte 52, 301, 10.1007/978-3-642-68353-4_47

10.1007/BFb0046841

araki, 1976, Some undecidable problems for Petri nets, Syst Comput Contr, 7, 20

10.1007/978-3-642-68353-4_41

auguin, 1980, Systematic method of realization of interpreted Petri nets, Digital Processes, 6, 55

peterson, 1981, Petri Net Theory and the Modeling of Systems

10.1016/0304-3975(77)90059-7

10.1007/978-3-642-69968-9

10.1109/MC.1979.1658580

10.2307/2320826

peterson, 1977, Petri nets, ACM Computing Surveys, 9, 223, 10.1145/356698.356702

1980, Net Theory and Applications, 84

1987, Petri Nets Central Models and Their Properties, 254

sheridan, 1983, Casting Boolean logic arrays into Petri nets

1987, Petri Nets Applications and Relationships to Other Models of Concurrency, 255

ramming, 1983, Hierarchical modulator description of VLSI systems, Workshop report VLSI and Software Engineering Workshop, 112

10.1007/BFb0046834

10.1007/3-540-17906-2_36

silva, 1982, IFAC Software for Computer Control, 83

silva, 1985, Error detection and correction on Petri net models of discrete events control systems, Proc of IEEE Int Symp on Circuits and Systems 1985, 921

sifakis, 1979, Realization of fault-tolerant systems by coding Petri nets, J Design Automation and Fault Tolerant Computing, iii, 93

distante, 1985, A Petri net matrix approach in VLSI functional testing, Microprocessing and Microprogramming, 16, 194

courvoisier, 1983, A programmable logic controller based on a high level specification tool, Proc 1983 Conf Ind Electron, 174

valette, 1983, Petri net based programmable logic controllers, Proc 1st Int IFIP Conf Comp Appl in Production and Engineering, 103

dennis, 1970, Modular, asynchronous control structures for a high performance processor, Proc Project MAC Conference, 55

dennis, 1971, Speed independent asynchronous circuits, Proc Hawaii Int Conf Syst Sci, 55

10.1109/SWAT.1972.13

0

10.1145/356612.356615

best, 1975, Lecture Notes in Computer Science, 32, 186, 10.1007/3-540-07389-2_194

10.1145/828.322441

de cindio, 1982, Informatik-Fachbrichte 52, 269, 10.1007/978-3-642-68353-4_44

10.1016/0020-0190(80)90026-5

10.1007/3-540-18086-9_17