For the most recent entries see the
Petri Nets Newsletter.
Keyword: place-transition net
-
Tabakow, Iwan:
Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event Systems.
2007.
-
Iwan, Tabakow:
Fault Distinguishability of Discrete Event Systems.
2006.
-
Tabakow, Iwan:
Fault Distinguishability of Discrete Event Systems.
2006.
-
Lin, Chuang;
Lu, Wei-Ming:
Knowledge Representation by Petri Nets.
1991.
-
Starke, Peter H.:
Reachability Analysis of Petri Nets Using Symmetries.
1991.
-
Desel, Jörg:
On the Power of Place-Invariants.
1991.
-
Chiola, Giovanni;
Donatelli, Susanna;
Franceschinis, Guiliana:
Priorities, Inhibitor Arcs, and Concurrency in P/T Nets.
1991.
-
Pietkiewicz-Koutny, Marta:
Modelling Reconfigurability by Petri Nets.
1991.
-
Diamantini, C.;
Kasangian, S.;
Pomello, L.;
Simone, C.:
Elementary Nets and 2-Categories.
1991.
-
Devillers, Raymond:
Maximality Preserving Bisimulation: Simplifications and Extensions.
1991.
-
Johnen, Colette;
Petrucci, Laure:
Computation of P-Invariants for Integer Nets: Application to the Analysis of Algebraic Nets.
1991.
-
Asperti, Andrea;
Ferrari, Gian Luigi;
Gorrieri, Roberto:
Implicative Formulae in the `Proofs as Computations' Analogy.
1990.
-
Carstensen, Heino:
The Complexity of Testing Equivalence of Transition Sequences.
1990.
-
Diamantini, Claudia:
Categorial Approaches to Petri Nets: EN Systems as Bicategories.
1990/91.
-
Gorton, I.:
Specifying Occam Programs with High-Level Petri Nets.
1990.
-
Heiner, M.:
Prospects and Limitations of Petri Net Based Software Validation.
1990.
-
Korczynski, W.:
An Algebraic Characterization of a Class of Petri Nets.
1990.
-
Rupprecht, M.;
Fehlau, F.;
Martini, P.:
Interconnection of High Speed Device. A New Parallel Controller-Architecture for High Speed Local Area Networks.
1990.
-
Treves, Nicolas:
A Comparative Study of Different Techniques for Semi-Flows Computation in Place/Transition Nets.
1990.
-
Stotts, P.D.;
Godfrey, P.:
Place/Transition Nets with Debit Arcs.
1990.
-
Devillers, Raymond:
Maximality Preserving Bisimulation.
1990.
-
Gold, Robert;
Vogler, Walter:
Quality Criteria for Partial Order Semantics of Place/Transition Nets.
1990.
-
Vogler, Walter;
Gold, Robert:
Quality Criteria for Partial Order Semantics of Place/Transition Nets.
1990.
-
Colom, J.M.;
Silva, M.:
Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows.
1989.
-
Colom, J.M.;
Silva, M.:
Improving the Linearly Based Characterization of P/T Nets.
1989.
-
Dimitrovici, Cristian;
Hummert, Udo:
Kategorielle Konstruktionen für algebraische Petrinetze.
1989.
-
Valmari, Antti:
Stubborn Sets for Reduced State Space Generation.
1989.
-
Winkowski, Józef:
An Algebraic Way of Defining Place/Transition Petri Nets.
1989.
-
Winkowski, Jósef:
An Algebraic Way of Defining the Behaviours of Place/Transition Petri Nets.
1989.
-
Cornelis, Eric:
Traduction de Réseaux de Petri Colorés.
1988.
-
Tiplea, F.;
Jucan, T.;
Masalagiu, C.:
Term Rewriting Systems and P/T-Nets.
1988.
-
Wu, Yisheng;
Wu, Yongsen;
Lan, Shaohua:
Proving the Correctness of a Token Bus Protocol by Using Petrinet.
1988.
-
Meseguer, Jose;
Montanari, Ugo:
Petri Nets are Monoids.
1988.
-
Goltz, Ursula:
Considering Nets as Distributed Transition Systems.
1985.
-
Brauer, Wilfried:
How to Play the Token Game? or Difficulties in Interpreting Place/Transition Nets.
1984.
-
Müller, Horst:
Prompt and Hangupfree Simulation of Place/Transition Nets by Pure Nets Without Multiple Arcs.
1983.
-
Goltz, U.;
Vogt, U.:
Processes of Relation Nets.
1983.
-
Valk, Rüdiger:
Concluding from Net Behaviour to Net Structure or A Necessary Conditon for the Holding of a Fact.
1980.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography