Short Citation | Author(s) | Title | In: | Pages | Classification |
(Agerwala 1979) | Agerwala, T. | Putting Petri Nets to Work | IEEE Computer: Innovative Technology for Computer Professionals, Vol. 12 (1979), No. 12 | pp. 85-94 | PN/Survey |
(Agerwala/Flynn 1973) | Agerwala, T.; Flynn, M. | Comments on Capabilities, Limitations and Correctness of Petri Nets | (Lipovski/Szygenda 1973) | pp. 81-86 | PN |
(Alla/Davis 1998) | Alla, H.; Davis, R. | Continuous and Hybrid Petri Nets | Journal of Circuits, Systems and Computers, Vol. 8 (1998), No. 1 | pp. 159-188 | PN/Survey |
(Ajmone Marsan 1989) | Ajmone Marsan, M. | Stochastic Petri Nets: An Elementary Introduction | (Rozenberg 1989) | pp. 1-29 | PN/Survey |
(Ajmone Marsan/Chiola 1987) | Ajmone Marsan, M.; Chiola, G. | On Petri Nets with Deterministic and Exponentially Distributed Firing Times | (Rozenberg 1987) | pp. 132-145 | PN |
(Ajmone Marsan et al. 1998) | Ajmone Marsan, M.; Bobbio, A.; Donatelli, S. | Petri Nets in Performance Analysis: An Introduction | (Reisig/Rozenberg 1998a) | pp. 211-256 | PN/Survey |
(Ajmone Marsan et al. 1984) | Ajmone Marsan, M.; Conte, G.; Balbo, G. | A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems | ACM Transactions on Computer Systems, Vol. 2 (1984), No. 2 | pp. 93-122 | PN |
(Alla et al. 1985) | Alla, H.; Ladet, P.; Martinez, J.; Silva-Suarez, M. | Modelling and Validation of Complex Systems by Coloured Petri Nets: Applications to Flexible Manufacturing System | (Rozenberg 1985) | pp. 15-31 | PN |
(Andre 1982) | Andre, C. | Behaviour of a Place-Transition Net on a Subste of Transitions | (Girault/Reisig 1982) | pp. 131-135 | PN/Equivalence |
(Andre 1991) | Andre, C. | Delays in synchronized elementary net systems | (Rozenberg 1991) | pp. 1-28 | PN |
(André et al. 1980) | André, C.; Diaz, M.; Girault, C.; Sifakis, J. | Survey of French Research and Applications Based on Petri Nets | (Brauer 1980) | pp. 321-345 | PN/Survey |
(Anglano/Portinale 1994) | Anglano, C.; Portinale, L. | B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation | (Valette 1994) | pp. 39-58 | PN |
(Ashcroft 1986) | Ashcroft, E. A. | Dataflow and Education: Data Driven and Demand-driven Distributed Computation | (de Bakker et al. 1986) | pp. 1-11 | PN/Analogy |
(Baer 1973b) | Baer, J. L. | A Survey of Some Theoretical Aspects of Multiprocessing | ACM Computing Surveys, Vol. 5 (1973), No. 1 | pp. 31-74 | PN |
(Baer 1973a) | Baer, J.-L. | Modelling for Parallel Computation: A Case Study | (IEEE 1973b) | pp. 13-22 | PN/Application |
(Baer 1987) | Baer, J.-L. | Modelling Architectural Features with Petri Nets | (Brauer et al. 1987b) | pp. 258-277 | PN |
(Ballarini et al. 2000) | Ballarini, P.; Donatelli, S.; Franceschinis, G. | Parametric Stochastic Well-Formed Nets and Compositional Modelling | (Nielsen/Simpson 2000) | pp. 43-62 | PN |
(Barkaoui et al. 1995) | Barkaoui, K.; Couvreur, J. M.; Dutheillet, C. | On Liveness in Extended Non Self-Controlling Nets | (De Michelis/Diaz 1995) | pp. 25-102 | PN |
(Bastide et al. 1999) | Bastide, R. et al. | Petri Net Based Behavioural Specification of CORBA Systems | (Donatelli/Klein 1999) | pp. 67-85 | PN |
(Battiston et al. 1988) | Battiston, E.; De Cindio, F.; Mauri, G. | OBJSA Nets: A class of high-level nets having objects as domains | (Rozenberg 1988) | pp. 20-43 | PN |
(Baumgarten 1990) | Baumgarten, B. | Petri-Netze: Grundlagen und Anwendungen, Mannheim et al.: BI Wissenschaftsverlag, 1990 | | | PN/Book |
(Benzaken et al. 1998) | Benzaken, V. et al. | M-net Calculus Based Semantics for Triggers | (Desel/Silva 1998) | pp. 306-325 | PN |
(Baumgarten et al. 1986) | Baumgarten, B.; Burkhardt, H. J.; Ochsenschläger, P.; Prinoth, R. | The signing of a contract - A Tree-structured application modelled with Petri net building blocks | (Rozenberg 1986a) | pp. 1-18 | PN/Application |
(Bernardinello/De Cindio 1992) | Bernardinello, L.; De Cindio, F. | A Survey of Basic Net Models and Modular Net Classes | (Rozenberg 1992) | pp. 304-351 | PN/Survey |
(Best et al. 1995) | Best, E. et al. | A Class of Composable High Level Petri Nets | (De Michelis/Diaz 1995) | pp. 103-120 | PN |
(Best/Fernández 1986) | Best, E.; Fernandez, C. | Notions and Terminology on Petri Net Theory, Arbeitspapiere der GMD Nr. 195, Bonn, 1986 | | | PN/Survey |
(Billington 1998) | Billington, J. | Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets | (Reisig/Rozenberg 1998b) | pp. 293-330 | PN |
(Bobrow/Winograd 1977) | Bobrow, D. G.; Winograd, T. | An Overview of KRL, a Knowledge Representation Language | Cognitive Science: A Multidisciplinary Journal, Vol. 1 (1977) | pp. 3-46 | PN |
(Bolognesi et al. 1990) | Bolognesi, T.; Lucidi, F.; Trigila, S. | From Timed Petri Nets to Timed LOTOS | (Logrippo et al. 1990) | pp. 395-407 | PN |
(Broy/Streicher 1992) | Broy, M.; Streicher, T. | Modular Functional Modelling of Petri Nets with Individual Tokens | (Rozenberg 1992) | pp. 70-88 | PN/Semantics |
(Bruni/Montanari 2000) | Bruno, R.; Montanari, U. | Executing Transactions in Zero-Safe Nets | (Nielsen/Simpson 2000) | pp. 83-102 | PN |
(Buchholz 1993) | Buchholz, P. | Hierarchies in Colored GSPNs | (Ajmone Marsan 1993) | pp. 106-125 | PN |
(Buchholz 1994) | Buchholz, P. | Hierarchical High Level Petri Nets for Complex System Analysis | (Valette 1994) | pp. 119-138 | PN |
(Burkhard 1982) | Burkhard, H.-D. | What gives Petri nets more computational power, Preprint Nr. 45, Humboldt-Universität zu Berlin, Sektion Mathematik, Berlin 1982 | | | PN/Expressiveness |
(Bütler et al. 1990) | Bütler, B.; Esser, R.; Mattmann, R. | A Distibuted Simulator for High Order Petri Nets | (Rozenberg 1990) | pp. 47-63 | PN |
(Camargo 1999) | Camargo, H. | The Design of Knowledge Bases through Hierarchical Fuzzy Petri Nets | (Cardoso/Camargo 1999) | pp. 255-275 | PN |
(Capra et al. 1999) | Capra, L.; Gaeta, R.; Botti, O. | SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation | (Donatelli/Klein 1999) | pp. 168-187 | PN |
(Cardoso et al. 1990) | Cardoso, J.; Valette, R.; Dubois, D. | Petri nets with uncertain markings | (Rozenberg 1990) | pp. 64-78 | PN |
(Carlier et al. 1985) | Carlier, J.; Chretienne, P.; Girault, C. | Modelling Scheduling Problems with Timed Petri-Nets | (Rozenberg 1985) | pp. 62-82 | PN/Application |
(Cerone/Maggiolo-Schettini 1999) | Cerone, A.; Maggiolo-Schettini, A. | Time-based expressivity of time Petri nets for system specification | Theoretical Computer Science, Vol. 216 (1999), Nos. 1-2 | pp.1-53 | PN/Expressiveness |
(Chehaibar 1991) | Chehaibar, G. | Use of reentrant nets in modular analysis of colored nets | (Rozenberg 1991) | pp. 59-77 | PN |
(Chehaibar 1993) | Chehaibar, G. | Replacement of Open Interface Subnets and Stable State Transformation Equivalence | (Rozenberg 1993) | pp. 1-25 | PN |
(Chen 1999) | Chen, S.-M. | Knowledge Base Verification Using Fuzzy Petri Nets | (Cardoso/Camargo 1999) | pp. 202--222 | PN |
(Chiola/Ajmone Marsan 1993) | Chiola, G.; Ajmone Marsan, M. | Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications | IEEE Transactions on Software Engineering, Vol. 19 (1993), No. 2 | pp. 89-107 | PN |
(Chiola et al. 1993) | Chiola, G.; Dutheillet, C.; Franceschinis, G.; Haddad, S. | Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications | IEEE Transactions on Computers, Vol. 42 (1993), No. 11 | pp. 1343-1359 | PN |
(Choi et al. 1994) | Choi, H.; Kulkarni, V. G.; Trivedi, K. S. | Markov regenerative stochastic Petri nets | Performance Evaluation, Vol. 20 (1994) | pp. 337-357 | PN |
(Christensen/Hansen 1993) | Christensen, S.; Hansen, N. D. | Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs | (Ajmone Marsan 1993) | pp. 186-223 | PN |
(Christensen/Hansen 1994) | Christensen, S.; Hansen, N. D. | Coloured Petri Nets Extended with Channels for Synchronous Communication | (Valette 1994) | pp. 159-198 | PN |
(Christensen/Petrucci 1992) | Christensen, S.; Petrucci, L. | Towards a Modular Analysis of Coloured Petri Nets | (Jensen 1992) | pp. 113-139 | PN |
(Christodoulakis/Moritz 1982) | Christodoulakis, D.; Moritz, M. | Net Morphisms and Software Engineering | (Girault/Reisig 1982) | pp. 111-117 | PN/Equivalence |
(Ciardo 1994) | Ciardo, G. | Petri Nets with Marking-Dependent Arc Cardinality: Properties and Analysis | (Valette 1994) | pp. 179-198 | PN |
(Colom 2003) | Colom, J. M. | The Resource Allocation Problem in Flexible Manufacturing Systems | (van der Aalst/Best 2003) | pp. 23-35 | PN |
(Coolahan/Roussopoulos 1983) | Coolahan, J. E.; Roussopoulos, N. | Timing Requirements for Time-Driven Systems Using Augmented Petri-Nets | IEEE Transactions on Software Engineering, Vol. SE-9 (1983), No. 5 | pp. 603-616 | PN |
(Corbeel et al. 1986) | Corbeel, D.; Gentina, J. C.; Vercauter, C. | Application of an Extension of Petri Nets to Modelization of Control and Production Processes | (Rozenberg 1986a) | pp. 162-180 | PN |
(Couvreur/Martinez 1990) | Couvreur, J. M.; Martinez, J. | Linear Invariants in Commutative High Level Nets | (Rozenberg 1990) | pp. 146-164 | PN |
(Czaja 1986) | Czaja, L. | Making Nets Abstract and Structured | (Rozenberg 1986a) | pp. 181-202 | PN/Homology |
(David/Alla 1993) | David, E.; Alla, H. | Autonomous and timed continuous Petri nets | (Rozenberg 1993) | pp. 70-90 | PN |
(David/Alla 1994) | David, E.; Alla, H. | Petri Nets for Modeling of Dynamic Systems: A Survey | Automatica, Vol. 30 (1994), No. 2 | pp. 175-202 | PN/Survey |
(De Cindio et al. 1982) | De Cindio, F.; De Michelis, G.; Pomello, L.; Simone, C. | Superposed Automata Nets | (Girault/Reisig 1982) | pp. 269-279 | PN |
(De Cindio et al. 1983) | De Cindio, F.; De Michelis, G.; Pomello, L.; Simone, C. | Equivalence Notions for Concurrent Systems | (Pagnoni/Rozenberg 1983) | pp. 29-39 | PN/Equivalence |
(de Frutos Escrig et al. 2000) | de Frutos Escrig, D.; Ruis, V., Marroquin Alonso, O. | Decidability of Properties of Timed-Arc Petri Nets | (Nielsen/Simpson 2000) | pp. 187-206 | PN/Theory |
(Deng et al. 1993) | Deng, Y. | Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems | (Ajmone Marsan 1993) | pp. 206-223 | PN/Homology |
(Dennis 1970) | Dennis, J. B. | Modular, Asynchronous Control Structures for a High Performance Processor | (ACM 1970) | pp. 55-80 | PN/Application |
(Desel/Reisig 1998) | Desel, J.; Reisig, W. | Place/Transition Petri Nets | (Reisig/Rozenberg 1998a) | pp. 122-173 | PN/Survey |
(Deussen 2001) | Deussen, P. | Partial Order Verification of Programmable Logic Controllers | (Colom/Koutny 2001) | pp. 144-163 | PN |
(Devillers 1989) | Devillers, R. | The semantics of capacities in P/T Nets | (Rozenberg 1989) | pp. 128-150 | PN/Expressiveness |
(Diaz 1987) | Diaz, M. | Petri Net Based Models in the Specification and Verification of Protocols | (Brauer et al. 1987b) | pp. 135-170 | PN/Application |
(Diaz/Azema 1985) | Diaz, M.; Azema, P. | Petri Net Based Models for the Specification and Validation of Protocols | (Rozenberg 1985) | pp. 101-121 | PN/Survey |
(Diaz et al. 1986) | Diaz, M.; Courtiat, J.-P.; Pedroza, A. | Design, Specification and Validation of Hierarchies of Protocols in Distributed Systems | (de Bakker et al. 1986) | pp. 208-219 | PN |
(Diaz/Sénac 1994) | Diaz, M.; Sénac, P. | Time Stream Petri Nets: A Model for Timed Multimedia Information | (Valette 1994) | pp. 219-238 | PN |
(De Cindio et al. 1987) | De Cindio, F.; De Michelis, G.; Simone, C. | GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems | (Rozenberg 1987) | pp. 21-44 | PN |
(Di Marzo Serugendo et al. 2002) | Di Marzo Serugendo, G.; Mandrioli, D.; Buchs, D.; Guelfi, N. | Real-Time Synchronized Petri Nets | (Esparza/Lakos 2002) | pp. 14-162 | PN |
(Donatelli 1994) | Donatelli, S. | Superposed Generalized Stochastic Petri nets: definition and efficient solution | (Valette 1994) | pp. 258-277 | PN |
(Dugan et al. 1984) | Dugan, J. B.; Trivedi, K. S.; Geist, R. M.; Nicola, V. F. | Extended Stochastic Petri Nets: Applications and Analysis | (Gelenbe 1984) | pp. 507-519 | PN |
(Durchholz 1991) | Durchholz, R. | Causality, time, and deadlines | Data & Knowledge Engineering, Vol. 6 (1991) | pp. 469-44 | PN/Survey |
(Ellis 1979) | Ellis, C. A. | Information Control Nets: A Mathematical Model of Office Information Flow | Performance Evaluation Review, Vol. 8 (1979) | pp. 225-239 | PN/Homology |
(Ellis/Nutt 1993) | Ellis, C. A.; Nutt, G. J. | Modeling and Enactment of Workflow Systems | (Ajmone Marsan 1993) | pp. 1-16 | PN/Homology |
(Evans 1993) | Evens, J. B. | The Devnet: a Petri Net for Discrete Event Simulation | (Rozenberg 1993) | pp. 91-125 | PN/Homology |
(Ezpeleta et al. 1995) | Ezpeleta, J.; Colom, J. M.; Martinez, J. | A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems | IEEE Transactions on Robotics and Automation, Vol. 11 (1995), No. 2 | pp. 173-184 | PN |
(Ezpeleta et al. 1998) | Ezpeleta, J.; Garcia-Vallés, Colom, J. M. | A Class of Well Structured Petri Nets for Flexible Manufacturing Systems | (Desel/Silva 1998) | pp. 64-83 | PN |
(Fanchon 1999) | Fanchon, J. | Trace Channel Nets | (Donatelli/Klein 1999) | pp. 304-323 | PN |
(Fehling 1993) | Fehling, R. | A Concept of Hierarchical Petri Nets with Building Blocks | (Rozenberg 1993) | pp. 148-168 | PN |
(Feldbrugge 1986) | Feldbrugge, F. | Petri Net Models | (Rozenberg 1986a) | pp. 203-210 | PN/Survey |
(Fisler/Girault 1998) | Fisler, K.; Girault, C. | Modelling and Model Checking a Distributed Shared Memory Consistency Protocol | (Desel/Silva 1998) | pp. 84-103 | PN/Application |
(Fleischhack/Pelz 2003) | Fleischhack, H.; Pelz, E. | Hierarchical Timed High Level Nets and Branching Processes | (van der Aalst/Best 2003) | pp. 397-416 | PN |
(Florin/Natkin 1982) | Florin, G.; Natkin, S. | Evaluation Based Upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol | (Girault/Reisig 1982) | pp. 280-288 | PN |
(Franceschinis/Ribaudo 1998) | Franceschinis, G.; Ribaudo, M. | Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras | (Reisig/Rozenberg 1998b) | pp. 386-437 | PN |
(Fuss 1975) | Fuss, H. | P-T-Netze zur numerischen Simulation von asynchronen Flüssen | (Siefkes 1975) | S. 326-335 | PN |
(Genc/Lafortune 2003) | Genc, S.; Lafortune, S. | Distributed Diagnosis of Discrete-Event Systems Using Petri-Nets | (van der Aalst/Best 2003) | pp. 316-336 | PN |
(Genrich 1969) | Genrich, H. J. | Das Zollstationenproblem, Gesellschaft für Mathematik und Datenverarbeitung, Interne Mitteilung ISF/69-01-15 in der Fassung ISF/71-10-13, Bonn, 1969 | | | PN |
(Genrich 1987) | Genrich, H. J. | Predicate/Transition Nets | (Brauer et al. 1987a) | pp. 206-247 | PN/Survey |
(Genrich 1989) | Genrich, H. J. | Equivalence Transformations of PrT-Nets | (Rozenberg 1989) | pp. 179-208 | PN/Expressiveness |
(Genrich/Lautenbach 1973) | Genrich, H. J.; Lautenbach, K. | Synchronisationsgraphen | Acta Informatica, Vol. 2 (1973) | S. 141-161 | PN |
(Genrich/Lautenbach 1978) | Genrich, H. J.; Lautenbach, K. | Facts in Place/Transition-Nets | (Winkowski 1978) | pp. 212-231 | PN |
(Genrich/Lautenbach 1981) | Genrich, H. J.; Lautenbach, K. | System Modelling with High-Level Petri Nets | Theoretical Computer Science, Vol. 13 (1981) | pp. 109-136 | PN |
(Genrich et al. 1980a) | Genrich, H. J.; Lautenbach, K.; Thiagarajan, P. S. | Elements of General Net Theory | (Brauer 1980) | pp. 21-163 | PN/Survey |
(Genrich et al. 1980b) | Genrich, H. J.; Lautenbach, K.; Thiagarajan, P. S. | Substitution Systems - A Family of System Models Based on Concurrency | (Dembinski 1980) | pp. 698-723 | PN/Theory |
(Genrich/Stankiewicz-Wiechno 1980) | Genrich, H. J.; Stankiewicz-Wiechno, E. | A Dictionary of Some Basic Notions of Net Theory | (Brauer 1980) | pp. 519-531 | PN/Survey |
(Girault/Valk 2003) | Girault, C.; Valk, R. | Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications, Berlin et al.: Springer, 2003 | | | PN/Book |
(Girault et al. 1987) | Girault, C.; Chatelain, C.; Haddad, S. | Specification and Properties of a Cache Coherence Protocol Model | (Rozenberg 1987) | pp. 1-20 | PN/Application |
(Goltz/Reisig 1985) | Goltz, U.; Reisig, W. | CSP-Programs as Nets with Individual Tokens | (Rozenberg 1985) | pp. 169-197 | PN |
(Gomez 1999) | Gomez, L. | Fuzzy Modelling for Reactive Real-Time Systems Control Using Reactive Petri Nets | (Cardoso/Camargo 1999) | pp. 223-254 | PN |
(Ghezzi et al. 1991) | Ghezzi, C.; Mandrioli, D.; Morasca, S.; Pezze, M. | A Unified High-Level Petri Net Formalism for Time-Critical Systems | IEEE Transactions on Software Engineering, Vol. 17 (1991), No. 2 | pp. 160-71 | PN |
(Haas/Shedler 1986) | Haas, P. J.; Shedler, G. S. | Regenerative Stochastic Petri Nets | Performance Evaluation, Vol. 6 (1986) | pp. 189-204 | PN |
(Hack 1972) | Hack, M. | Analysis of Production Schemata by Petri Nets. Records of the Project MAC, Cambridge/MA: MIT, 1972 | | | PN |
(Hack 1979) | Hack, M. | Decidability Questions for Petri Nets, New York/London: Garland, 1979 | | | PN/Theory |
(Haddad/Girault 1987) | Haddad, S.; Girault, C. | Algebraic Structure of Flows of a Regular Coloured Net | (Rozenberg 1987) | pp. 73-88 | PN |
(Haddad/Poitrenaud 1999) | Haddad, S.; Poitrenaud, D. | Theoretical Aspects of Recursive Petri Nets | (Donatelli/Klein 1999) | pp. 228-247 | PN |
(Hanisch 1992) | Hanisch, H.-M. | Petri-Netze in der Verfahrenstechnik: Modellierung und Steuerung verfahrenstechnischer Systeme. München/Wien: Oldenbourg, 1992 | | | PN |
(Haus/Rodriguez 1988) | Haus, G.; Rodriguez, A. | Music Description and Processing by Petri Nets | (Rozenberg 1988) | pp. 175-199 | PN |
(He 1996) | He, X. | A Formal Definition of Hierarchical Predicate Transition Nets | (Billington/Reisig 1996) | pp. 212-228 | PN |
(Heinemann 1982) | Heinemann, B. | Subclasses of Self-Modifying Nets | (Girault/Reisig 1982) | pp. 187-192 | PN/Survey |
(Heuser/Richter 1992) | Heuser, C. A.; Richter, G. | Constructs for Modeling Information Systems with Petri Nets | (Jensen 1992) | pp. 224-243 | PN |
(Hinderer 1982) | Hinderer, W. | Transfer of graph constructs in Goguen's paper to net constructs | (Girault/Reisig 1982) | pp. 142-150 | PN |
(Holt 1968) | Holt, A. et al. | Information System Theory Project, Technical report No. RADC-TR-68-305, Rome Air Development Center, Griffiss Air Force Base, New York, September 1968 | | | PN |
(Holt 1979) | Holt, A. W. | Net Models of Organizational Systems in Theory and Practice | (Petri 1979) | pp. 39-62 | PN/Application |
(Holt 1986) | Holt, A. W. | Coordination Technology and Petri Nets | (Rozenberg 1986a) | pp. 278-296 | PN/Application |
(Holt/Commoner 1970) | Holt, A. W.; Commoner, F. | Events and Conditions | (ACM 1970) | pp. 3-52 | PN |
(Hopkins 1991) | Hopkins, R. P. | Distributable nets | (Rozenberg 1991) | pp. 161-226 | PN |
(Horton 1998) | Horton, G. | Fluide Stochastische Petri-Netze, Habilitationsschrift, Universität Erlangen-Nürnberg, Technische Fakultät, 1998 | | | PN |
(Huber et al. 1990) | Huber, P.; Jensen, K.; Shapiro, R. M. | Hierarchies in Coloured Petri Nets | (Rozenberg 1990) | pp. 313-341 | PN |
(Janicki 1984) | Janicki, R. | Nets, sequential components and concurrency relations | Theoretical Computer Science, Vol. 29 (1984) | pp. 87-121 | PN/Theory |
(Jantzen/Valk 1980) | Jantzen, M.; Valk, R. | Formal Properties of Place Transition Nets | (Brauer 1980) | pp. 165-212 | PN/Theory |
(Jensen 1980) | Jensen, K. | A method to compare the descriptive power of different types of Petri nets | (Dembinski 1980) | pp. 348-361 | PN |
(Jensen 1981) | Jensen, K. | Coloured Petri Nets and the Invariant-Method | Theoretical Computer Science, Vol. 14 (1981) | pp. 317-336 | PN |
(Jensen 1983) | Jensen, K. | High-Level Petri Nets | (Pagnoni/Rozenberg 1983) | pp. 166-180 | PN |
(Jensen 1987b) | Jensen, K. | Computer Tools for Construction, Modification and Analysis of Petri Nets | (Brauer et al. 1987a) | pp. 4-19 | PN/Application |
(Jensen 1987a) | Jensen, K. | Coloured Petri Nets | (Brauer et al. 1987a) | pp. 248-299 | PN |
(Jensen 1990) | Jensen, K. | Coloured Petri Nets: A High Level Language for System Design and Analysis | (Rozenberg 1990) | pp. 342-416 | PN/Survey |
(Jensen 1996) | Jensen, K. | Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Vol. 1. 2nd ed., Berlin et al: Springer, 1996 | | | PN/Book |
(Karp/Miller 1969) | Karp, R. M.; Miller, R. E. | Parallel Program Schemata | Journal of Computer and System Sciences, Vol. 3 (1969) | pp. 147-196 | PN/Analogy |
(Kindler 1997) | Kindler, E. | Compositional Partial Order Semantics for Petri Net Components | (Azéma/Balbo 1997) | pp. 235-252 | PN |
(Kindler 2002) | Kindler, E. | Petri Nets, Situations, and Automata | (Esparza/Lakos 2002) | pp. 217-236 | PN |
(Kindler/Völzer 1998) | Kindler, E.; Völzer, H. | Flexibility in Algebraic Nets | (Desel/Silva 1998) | pp. 345-364 | PN |
(Kindler/Walter 1996) | Kindler, E.; Walter, R. | Arc-Typed Petri Nets | (Billington/Reisig 1996) | pp. 290-306 | PN |
(Kishinevsky et al. 1997) | Kishinevsky, M. et al. | Coupling Asynchrony and Interrups: Place Chart Nets | (Azéma/Balbo 1997) | pp. 328-347 | PN |
(Köhler et al. 2001) | Köhler, M.; Moldt, D.; Rölke, H. | Modelling the Structure and Behavior of Petri Net Agents | (Colom/Koutny 2001) | pp. 224-214 | PN |
(Köhler 2004) | Köhler, M. | Objektnetze: Definition und Eigenschaften. Berlin: Logos, 2004 | | | PN |
(Koseska-Toszewa/Mazurkiewicz 1988) | Koseska-Toszewa, V.; Mazurkiewicz, A. | Net Representation of Sentences in Natural Language | (Rozenberg 1988) | pp. 249-268 | PN |
(Kotov 1978) | Kotov, V. E. | An Algebra for Parallelism Based on Petri Nets | (Winkowski 1978) | pp. 39-55 | PN/Theory |
(Krogh 1999) | Krogh, B. H. | Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems | (Donatelli/Klein 1999) | pp. 107-126 | PN |
(Lakos 1996) | Lakos, C. | A Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets | (Billington/Reisig 1996) | pp. 380-399 | PN |
(Lakos 1995) | Lakos, C. | From Coloured Petri Nets to Object Petri Nets | (De Michelis/Diaz 1995) | pp. 278-399 | PN |
(Lakos/Christensen 1994) | Lakos, C.; Christensen, S. | A General Systematic Approach to Arc Extensions for Coloured Petri Nets | (Valette 1994) | pp. 338-357 | PN |
(Langner et al. 1998) | Langner, P.; Schneider, C.; Wehler, J. | Petri Net Based Certification of Event-Driven Process Chains | (Desel/Silva 1998) | pp. 286-305 | PN/Equivalence |
(Lautenbach/Pagnoni 1985) | Lautenbach, K.; Pagnoni, A. | Liveness and Duality in Marked-Graph-Like Predicate/Transition Nets | (Rozenberg 1985) | pp. 331-352 | PN |
(Lautenbach/Thiagarajan 1979) | Lautenbach, K.; Thiagarajan, P. S. | Analysis of a Resource Allocation Problem Using Petri Nets | (Syre 1979) | pp. 260-266 | PN/Application |
(Leszak/Eggert 1989) | Leszak, M.; Eggert, H. | Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Informatik-Fachberichte 197, Berlin et al.: Springer, 1989 | | | PN/Book |
(Lipp et al. 1989) | Lipp, H.-P.; Günther, R.; Sonntag, P. | Unscharfe Petri-Netze: Ein Basiskonzept für computerunterstützte Entscheidungsprozesse in komplexen Systemen, Wissenschaftliche Schriftenreihe der Technischen Universität Karl-Marx-Stadt, Nr. 7/1989, Chemnitz, 1989 | | | PN |
(Looney 1988) | Looney, C. G. | Fuzzy Petri Nets for Rule-Based Decision Making | IEEE Transactions on Systems, Man and Cybernetics, Vol. SMC-18 (1988), No. 1 | pp. 178-183 | PN |
(Lorentsen et al. 2002) | Lorentsen, L.; Tuovinen, A.-P.; Xu, J. | Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets | (Esparza/Lakos 2002) | pp. 294-3131 | PN/Application |
(Matsuno et al. 2003) | Matsuno, H. et al. | Towards Biopathway Modeling and Simulation | (van der Aalst/Best 2003) | pp. 3-22 | PN |
(Merlin/Farber 1976) | Merlin, P. M.; Farber, D. J. | Recoverability of Communication Protocols - Implications of a Theoretical Study | IEEE Transactions on Communications, Vol. 24 (1976) | pp. 1037-1043 | PN |
(Moalla et al. 1978) | Moalla, M.; Pulou, J.; Sifakis, J. | Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems | (Winkowski 1978) | pp. 374-384 | PN |
(Molloy 1982) | Molloy, M. K. | Performance Analysis Using Stochastic Petri Nets | IEEE Transactions on Computers, Vol. C-31 (1982), No. 9 | pp. 913-917 | PN |
(Molloy 1985) | Molloy, M. K. | Discrete Time Stochastic Petri Nets | IEEE Transactions on Software Engineering, Vol. SE-11 (1985), No. 4 | pp. 417-423 | PN |
(Murata et al. 1999) | Murata, T.; Suzuki, T.; Shatz, S. M. | Fuzzy-Timing High-Level Petri Nets (FTHNs) for Time-Critical Systems | (Cardoso/Camargo 1999) | pp. 88-114 | PN |
(Nelson et al. 1983) | Nelson, R. A.; Haibt, L. M.; Sheridan, P. B. | Casting Petri Nets into Programs | IEEE Transactions on Software Engineering, Vol. SE-9 (1983), No. 5 | p. 590-611 | PN |
(Nielsen et al. 2001) | Nielsen,M.; Sassone, V.; Srba, J. | Towards a notion of Distributed Time for Petri Nets | (Colom/Koutny 2001) | pp. 23-31 | PN |
(Noe 1980a) | Noe, J. D. | Nets in Modeling and Simulation | (Brauer 1980) | pp. 347-368 | PN |
(Noe 1980b) | Noe, J. D. | Applications of Net-Based Models | (Brauer 1980) | pp. 389-400 | PN/Survey |
(Noe/Nutt 1973) | Noe, J. D.; Nutt, G. J. | Macro E-Nets for Representation of Parallel Systems | IEEE Transactions on Computers, Vol. C-22 (1973), No. 8 | pp. 718-727 | PN |
(Nutt 1972a) | Nutt, G. J. | The Formulation and Application of Evaluation Nets, PhD Thesis, University of Washington, Department of Computer Science, 1972 | | | PN |
(Nutt 1972b) | Nutt, G. J. | Evaluation nets for computer system performance analysis | (AFIPS 1972) | pp. 279-386 | PN |
(Oberquelle 1980) | Oberquelle, H. | Nets as a Tool in Teaching and in Terminology Work | (Brauer 1980) | pp. 481-506 | PN |
(Oberquelle 1987) | Oberquelle, H. | Human-Machine Interaction and Role/Function/Action-Nets | (Brauer et al. 1987b) | pp. 171-190 | PN |
(Ouyang et al. 2002) | Ouyang, C.; Kristensen, L. M.; Billington, J. | A Formal Service Specification for the Internet Open Trading Protocol | (Esparza/Lakos 2002) | pp. 352-373 | PN/Application |
(Pagnoni 1987) | Pagnoni, A. | Stochastic Petri Nets and Performance Evaluation | (Brauer et al. 1987a) | pp. 460-478 | PN/Survey |
(Patil 1970) | Patil, S. S. | Coordination of Asynchronous Events. PhD Thesis, MIT, Cambridge/MA, 1970 | | | PN |
(Pedrycz/Peters 1999) | Pedryzc, W.; Peters, J. F. | Learning in Fuzzy Petri Nets: Concepts and Calibration Methodology | (Cardoso/Camargo 1999) | pp. 276-299 | PN |
(Peterson 1981) | Peterson, J. L. | Petri Net Theory and the Modeling of Systems, Englewood Cliffs: Prentice Hall, 1981 | | | PN/Book |
(Petri 1962) | Petri, C. A. | Kommunikation mit Automaten, Schriften des Rheinisch-Westfälischen Instituts für Instrumentelle Mathematik an der Universität Bonn, Nr. 2, 1962 | | | PN/Application |
(Petri 1973) | Petri, C. A. | Concepts of Net Theory | (PMISAS 1973) | pp. 137-146 | PN (general) |
(Petri 1976) | Petri, C. A. | Interpretations of Net Theory, Gesellschaft für Mathematik und Datenverarbeitung, 2. Aufl., Interner Bericht 75-07, St. Augustin 1976 | | | PN/Theory |
(Petri 1977) | Petri, C. A. | General Net Theory | (Shaw 1977) | pp. 131-169 | PN (general) |
(Petri 1978) | Petri, C. A. | Kommunikationsdisziplinen | (Petri 1979) | pp. 63-76 | PN |
(Petri 1980) | Petri, C. A. | Introduction to General Net Theory | (Brauer 1980) | pp. 1-20 | PN/Survey |
(Petri 1988) | Petri, C. A. | Some Personal Views of Net Theory | (Pagnoni/Rozenberg 1983) | pp. 1-13 | PN/Survey |
(Petri 1996) | Petri, C. A. | Nets, time and space | Theoretical Computer Science, Vol. 153 (1996) | pp. 3-48 | PN/Theory |
(Pomello 1986) | Pomello, L. | Some Equivalence Notions for Concurrent Systems: An Overview | (Rozenberg 1986a) | pp. 381-400 | PN/Equivalence |
(Priese/Wimmel 2003) | Priese, L.; Wimmel, H. | Theoretische Informatik: Petri-Netze, Berlin et al.: Springer, 2003 | | | PN/Book |
(Ramachandi 1973) | Ramachandi, C. | Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD Thesis, MIT, Cambridge/MA, 1973 | | PN | PN |
(Ramamoorthy/Ho 1980) | Ramamoorthy, C. V.; Ho, G. | Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets | IEEE Transactions on Software Engineering, Vol. SE-6, No. 5 | pp. 440-449 | PN/Application |
(Recalde et al. 1999) | Recalde, L.; Teruel, E.; Solva, M. | Autonomous Continuous P/T Systems | (Donatelli/Klein 1999) | pp. 107-126 | PN |
(Recalde et al. 1996) | Recalde, L.; Teruel, E.; Solva, M. | {SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems | (Billington/Reisig 1996) | pp. 440-459 | PN |
(Reisig 1983) | Reisig, W. | Petri Nets With Individual Tokens | (Pagnoni/Rozenberg 1983) | pp. 229-249 | PN |
(Reisig 1984) | Reisig, W. | On the Semantics of Petri Nets, Bericht Nr. 100 des Fachbereichs Informatik der Universität Hamburg (FBI-HH-B-100/84), Hamburg, 1984 | | | PN/Theory |
(Reisig 1986) | Reisig, W. | Petrinetze: Eine Einführung. 2. Aufl., Berlin et al.: Springer, 1986 | | | PN/Book |
(Reisig 1987) | Reisig, W. | Place/Transition Systems | (Brauer et al. 1987a) | pp. 117-141 | PN/Survey |
(Reisig 1987b) | Reisig, W. | Petri Nets in Software Engineering | (Brauer et al. 1987b) | pp. 63-96 | PN/Application |
(Remy/Levis 1988) | Remy, P. A.; Levis, A. H. | On the generation of organizational architectures using Petri nets | (Rozenberg 1988) | pp. 371-385 | PN |
(Reisig 1982) | Reisig, W. | Recursive Nets | (Girault/Reisig 1982) | pp. 125-130 | PN/Application |
(Richter/Voss 1986) | Richter, G.; Voss, K. | Towards a Comprehensive Office Model Integrating Information and Resources | (Rozenberg 1986a) | pp. 401-417 | PN |
(Rosenberg/Engelfriet 1998) | Rosenberg, G.; Engelfriet, J. | Elementary Net Systems | (Reisig/Rozenberg 1998a) | pp. 12-121 | PN/Survey |
(Rozenberg/Thiagarajan 1986) | Rozenberg, G.; Thiagarajan, P. S. | Petri Nets: Basic Notions, Structure, Behavior | (de Bakker et al. 1986) | pp. 585-668 | PN |
(Roucairol 1987) | Roucairol, G. | FIFO-Nets | (Brauer et al. 1987a) | pp. 436-459 | PN |
(Scheschonk 1982) | Scheschonk, G. | On the Construction of System Nets | (Girault/Reisig 1982) | pp. 104-108 | PN/Application |
(Schiffers/Wedde 1978) | Schiffers, M.; Wedde, H. | Analyzing Program Solutions of Coordination Problems by CP-Nets | (Winkowski 1978) | pp. 462-473 | PN |
(Schneider/Wehler 1999) | Schneider, C.; Wehler, J. | Petri Net Theory - Problems Solved by Commutative Algebra | (Donatelli/Klein 1999) | pp. 248-267 | PN |
(Schöf et al. 1995) | Schöf, S.; Sonnenschein, M.; Wieting, R. | Efficient Simulation of THOR Nets | (De Michelis/Diaz 1995) | pp. 412-431 | PN |
(Seitz 1970) | Seitz, C. L. | Asynchronous Machines Exhibiting Concurrency | (ACM 1970) | pp. 93-116 | PN/Homology |
(Sénac et al. 1995) | Sénac, P.; de Saqui-Sannes, P.; Willrich, R. | Hierarchical Time Stream Petri Net: a Model for Hypermedia Systems | (De Michelis/Diaz 1995) | pp. 451-470 | PN |
(Shapiro 1979a) | Shapiro, S. D. | A Stochastic Petri Net with Applications to Modelling Occupancy Times for Concurrent Task Systems | Networks, Vol. 9 (1979) | pp. 375-379 | PN |
(Shapiro 1979b) | Shapiro, R. M. | Towards a Design Methodology for Informations Systems | (Petri 1979) | S. 107-118 | PN |
(Sibertin-Blanc 1994) | Sibertin-Blanc, C. | Cooperative nets | (Valette 1994) | pp. 471-490 | PN |
(Silva 1993) | Silva, M. | Interleaving Functional and Performance Structural Analysis of Net Models | (Ajmone Marsan 1993) | pp. 17-23 | PN |
(Sifakis 1980) | Sifakis, J. | Performance Evaluation of Systems Using Nets | (Brauer 1980) | pp. 307-319 | PN |
(Silva/Valette 1989) | Silva, M.; Valette, R. | Petri Nets and Flexible Manufacturing | (Rozenberg 1989) | pp. 374-417 | PN/Survey |
(Sirmen 1982) | Sirmen, E. | An Equivalence-Notion for Condition/Event Systems | (Girault/Reisig 1982) | pp. 118123 | PN/Equivalence |
(Smith 1998) | Smith, E. | Principles of High-Level Net Theory | (Reisig/Rozenberg 1998a) | pp. 174-210 | PN/Survey |
(Smith/Reisig 1987) | Smith, E.; Reisig, W. | The Semantics of a Net is a Net: An Exercise in General Net Theory | (Rozenberg 1987) | pp. 461-479 | PN/Equivalence |
(Souissi 1993) | Souissi, Y. | Deterministic Systems of Sequential Processes: a class of structured Petri nets | (Rozenberg 1993) | pp. 406-426 | PN |
(Starke 1990) | Starke, P. H. | Analyse von Petri-Netz-Modellen, Stuttgart: Teubner, 1990 | | | PN/Book |
(Starke 1995) | Starke, P. H. | A Memo on Time Constraints in Petri Nets, Informatik-Bericht Nr. 46, Humboldt-Universität zu Berlin, 1995 | | | PN/Survey |
(Stork/van Glabbeek 2002) | Stork, D. G.; van Glabbeek, R. | Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow | (Esparza/Lakos 2002) | pp. 393-413 | PN |
(Suzuki/Murata 1982) | Suzuki, I.; Murata, T. | Stepwise Refinement of Transitions and Places | (Girault/Reisig 1982) | pp. 136-141 | PN/Application |
(Symons 1980) | Symons, F. J. W. | Introduction to Numerical Petri Nets, a General Graphical Model of Concurrent Processing Systems | ATR: Australian Telecommunication Research, Vol. 14 (1980), No. 1 | pp. 28-33 | PN |
(Tabak/Levis 1985) | Tabak, D.; Levis, A. H. | Petri Net Representation of Decision Models | IEEE Transactions on Systems, Man, and Cybernetics, Vol. SMC-15 (1985), No. 6 | pp. 812-818 | PN |
(Thiagarajan 1987) | Thiagarajan, P. S. | Elementary Net Systems | (Brauer et al. 1987a) | pp. 26-59 | PN/Survey |
(Thiagarajan/Voss 1985) | Thiagarajan, P. S.; Voss, K. | In Praise of Free Choice Nets | (Rozenberg 1985) | pp. 438-454 | PN/Theory |
(Trivedi/Kulkarni 1993) | Trivedi, K. S.; Kulkarni, V. G. | FSPNs: Fluid Stochastic Petri Nets | (Ajmone Marsan 1993) | pp. 24-31 | PN |
(Valette 1977) | Valette, R. | An Analysis Oriented Description of Parallel Systems Allowing Timing Considerations | (IFAK 1977) | pp. 102-111 | PN |
(Valette 1987) | Valette, R. | Nets in Production Systems | (Brauer et al. 1987b) | pp. 191-217 | PN/Survey |
(Valette 1997) | Valette, R. | Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control | (Azéma/Balbo 1997) | pp. 23-41 | PN/Application |
(Velette/Bako 1991) | Valette, R.; Bako, B. | Software Implementation of Petri nets and Compilation of Rule-based systems | (Rozenberg 1991) | pp. 296-316 | PN/Application |
(Valk 1978a) | Valk, R. | Self-modifying nets, a natural extension of petri-nets | (Ausiello 1978) | pp. 464-476 | PN |
(Valk 1978b) | Valk, R. | On the Computational Power of Extended Petri Nets | (Winkowski 1978) | pp. 526-535 | PN |
(Valk 1987) | Valk, R. | Nets in Computer Organization | (Brauer et al. 1987b) | pp. 218-233 | PN |
(Valk 1998) | Valk, R. | Petri Nets as Token Objects: An Introduction to Elementary Object Nets | (Desel/Silva 1998) | pp. 1-25 | PN |
(van der Aalst 1993) | van der Aalst, W. M. P. | Interval Timed Coloured Petri Nets and their Analysis | (Ajmone Marsan 1993) | pp. 453-492 | PN |
(van der Aalst 1997) | van der Aalst, W. M. P. | Verification of Workflow Nets | (Azéma/Balbo 1997) | pp. 407-426 | PN |
(Vautherin 1987) | Vautherin, J. | Parallel Systems Specifications with Coloured Petri Nets and Algebraic Specifications | (Rozenberg 1987) | pp. 239-308 | PN/Application |
(Vautherin/Memmi 1985) | Vautherin, J.; Memmi, G. | Computation of Flows for Unary-Predicates/Transition-Nets | (Rozenberg 1985) | pp. 455-467 | PN |
(Vogler 2000) | Vogler, W. | Efficiency of Asynchronous Systems That Communicate Asynchronously | (Nielsen/Simpson 2000) | pp. 424-444 | PN |
(Voss 1984) | Voss, K. | A Net Model of a Local Area Network Protocol | (Rozenberg 1985) | pp. 412-437 | PN |
(Voss 1987) | Voss, K. | Nets in Data Bases | (Brauer et al. 1987a) | pp. 97-134 | PN/Application |
(Walter 1982) | Walter, B. | Transaktionsorientierte Recovery-Konzepte für Verteilte Datenbanksysteme. Dissertation, Fakultät für Mathematik und Informatik, Universität Stuttgart, 1982 | | | PN |
(Wheeler et al. 1986) | Wheeler, G. R.; Wilbur-Ham, M. C.; Billington, J.; Gilmour, J. A. | Protocol Analysis Using Numerical Petri Nets | (Rozenberg 1986a) | pp. 435-452 | PN/Application |
(Winskel 1986) | Winskel, G. | Petri Nets, Morphisms and Compositionality | (Rozenberg 1986a) | pp. 453-477 | PN/Equivalence |
(Yakovlev/Koelmans 1998) | Yakovlev, A. V.; Koelmans; A. M. | Petri Nets and Digital Hardware Design | (Reisig/Rozenberg 1998b) | pp. 154-236 | PN/Survey |
(Yoeli 1982) | Yoeli, M. | Synthesis of Concurrent Systems | (Girault/Reisig 1982) | pp. 183-186 | PN |
(Zuberek 1986) | Zuberek, W. M. | M-Timed Petri Nets, Priorities, Preemptions, and Performance Evaluation of Systems | (Rozenberg 1986a) | pp. 478-498 | PN |
(Zuse 1980) | Zuse, K. | Petri-Nets from the Engineer's Viewpoint | (Brauer 1980) | pp. 441-479 | PN/Application |
Copyright(a) Susanne Patig, 2005