For the most recent entries see the
Petri Nets Newsletter.
Thiagarajan, P.S.
-
Chakraborty, Samarjit;
Phan, Linh T. X.;
Thiagarajan, P. S.:
Event Count Automata: A State-Based Model for Stream Processing Systems.
2005.
-
Roychoudhury, Abhik;
Thiagarajan, Pazhamaneri Subramaniam:
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.
2004.
-
Roychoudhury, Abhik;
Thiagarajan, P. S.:
Communicating Transaction Processes.
2003.
-
Nielsen, Mogens;
Thiagarajan, P.S.:
Regular Event Structures and Finite Petri Nets: The Conflict-Free Case.
2002.
-
Thiagarajan, P.S.:
Abstract Cyclic Communicating Processes: A Logical View.
2002.
-
Thiagarajan, P.S.:
Regular Event Structures and Finite Petri Nets: A Conjecture.
2002.
-
Meyer, R.;
Thiagarajan, P.S.:
LTrL based model checking for a restricted class of Signal Transition Graphs.
1999.
-
Thiagarajan, P.S.;
Henriksen, Jesper G.:
Distributed Versions of Linear Time Temporal Logic: A Trace Perspective.
1998.
-
Hoogers, P.W.;
Kleijn, H.C.M.;
Thiagarajan, P.S.:
An Event Structure Semantics for General Petri Nets.
1996.
-
Hoogers, P.W.;
Kleijn, H.C.M.;
Thiagarajan, P.S.:
A trace semantics for Petri nets.
1995.
-
Hoogers, P.W.;
Kleijn, H.C.M.;
Thiagarajan, P.S.:
Local Event Structures and Petri Nets.
1993.
-
Mukund, M.;
Thiagarajan, P.S.:
A logical characterization of well branching event structures.
1992.
-
Nielsen, M.;
Rozenberg, G.;
Thiagarajan, P.S.:
Elementary transition systems.
1992.
-
Hoogers, P.W.;
Kleijn, H.C.M.;
Thiagarajan, P.S.:
A Trace Semantics for Petri Nets.
1991.
-
Nielsen, Mogens;
Rozenberg, Grzegorz;
Thiagarajan, P.S.:
Elementary Transition Systems and Refinement.
1991.
-
Rozoy, B.;
Thiagarajan, P.S.:
Event structures and trace monoids.
1991.
-
Hoogers, P.W.;
Kleijn, H.C.M.;
Thiagarajan, P.S.:
A Trace Semantics for Petri Nets.
1991.
-
Nielsen, M.;
Rozenberg, Grzegorg;
Thiagarajan, P.S.:
Behavioural Notions for Elementary Net Systems.
1990.
-
Thiagarajan, P.S.:
Some Behavioural Aspects of Net Theory.
1990.
-
Lodaya, Kamal;
Mukund, Madhavan;
Ramanujam, R.;
Thiagarajan, P.S.:
Models and Logics for True Concurrency.
1990.
-
Mukund, Madhavan;
Thiagarajan, P.S.:
An Axiomatization of Well Branching Prime Event Structures.
1990.
-
Genrich, Hartmann J.;
Thiagarajan, Pazhamaneri S.;
Voss, Klaus:
First-Order Net Systems.
1990.
-
Nielsen, Mogens;
Rozenberg, Grzegorz;
Thiagarajan, P.S.:
Elementary Transition Systems.
1990.
-
Lodaya, K.;
Ramanujam, R.;
Thiagarajan, P.S.:
A Logic for Distributed Transition Systems.
1989.
-
Mukund, M.;
Thiagarajan, P.S.:
A Petri Net Model of Asynchronously Communicating Sequential Processes.
1989.
-
Thiagarajan, P.S.:
Some Behavioural Aspects of Net Theory.
1988.
-
Best, E.;
Thiagarajan, P.S.:
Some Classes of Live and Save Petri Nets.
1987.
-
Thiagarajan, P.S.:
Elementary Net Systems.
1987.
-
Lodaya, K.;
Thiagarajan, P.S.:
A Modal Logic for a Subclass of Event Structures.
1987.
-
Rozenberg, G.;
Thiagarajan, P.S.:
Petri Nets: Basic Notions, Structure, Behaviour.
1986.
-
Fernández, C.;
Nielsen, M.;
Thiagarajan, P.S.:
Notions of Realizable Non-Sequential Processes.
1986.
-
Fernández, C.;
Nielsen, M.;
Thiagarajan, P.S.:
A Note on Observable Occurrence Nets.
1985.
-
Thiagarajan, P.S.;
Voss, K.:
In Praise of Free Choice Nets.
1985.
-
Nielsen, M.;
Thiagarajan, P.S.:
Degrees of Non-Determinism and Concurrency: A Petri Net View.
1984.
-
Fernández, C.;
Thiagarajan, P.S.:
A Note on D-Continuous Causal Nets.
1983.
-
Genrich, H.J.;
Janssens, D.;
Rozenberg, G.;
Thiagarajan, P.S.:
Petri Nets and Their Relation to Graph Grammars.
1983.
-
Fernández, C.;
Thiagarajan, P.S.:
A Lattice Theoretic View of K-Density.
1983.
-
Thiagarajan, P.S.;
Voss, K.:
A Fresh Look at Free Choice Nets.
1983.
-
Thiagarajan, P.S.:
Some Aspects of Net Theory.
1983.
-
Best, E.;
Thiagarajan, P.S.:
Some Open Problems in `Token Mathematics'.
1983.
-
Genrich, H.J.;
Thiagarajan, P.S.:
A Theory of Bipolar Synchronization Schemes.
1983.
-
Goltz, U.;
Reisig, W.;
Thiagarajan, P.S.:
Two Alternative Definitions of Synchronic Distance.
1982.
-
Thiagarajan, P.S.:
Condition/Event Systems.
1982.
-
Thiagarajan, P.S.:
Substitution Systems.
1982.
-
Fernández, C.;
Thiagarajan, P.S.:
D-Continuous Causal Nets: A Model of Non-sequential Processes.
1982.
-
Genrich, H.J.;
Janssens, D.;
Rozenberg, G.;
Thiagarajan, P.S.:
Generalized Handle Grammars and Their Relation to Petri Nets.
1982.
-
Genrich, H.J.;
Thiagarajan, P.S.:
Well-Formed Flow Charts for Concurrent Programming.
1982.
-
Thiagarajan, P.S.:
A Size 39 CE System.
1982.
-
Fernández, C.;
Thiagarajan, P.S.:
Some Properties of D-Continuous Causal Nets.
1981.
-
Genrich, H.J.;
Lautenbach, K.;
Thiagarajan, P.S.:
Elements of General Net Theory.
1980.
-
Genrich, H.J.;
Lautenbach, K.;
Thiagarajan, P.S.:
Substitution Systems - A Family of System Models Based on Concurrency.
1980.
-
Lautenbach, K.;
Thiagarajan, P.S.:
Analysis of a Resource Allocation Problem Using Petri Nets.
1979.
-
Shapiro, R.M.;
Thiagarajan, P.S.:
On the Maintenance of Distributed Copies of a Data Base.
1978.
-
Thiagarajan, P.S.;
Genrich, H.J.:
Assignment Systems: A Model for Asynchronous Computations.
1976.
-
Jump, J.R.;
Thiagarajan, P.S.:
On the Interconnection of Asynchronous Control Structures.
1975.
-
Jump, J.R.;
Thiagarajan, P.S.:
On the Equivalence of Asynchronous Control Structures.
1972.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography