Keyword: concurrency

• van Hee, Kees; Serebrenik, Alexander; Sidorova, Natalia; Voorhoeve, Marc:
  Soundness of Resource-Constrained Workflow Nets. 2005.

• Philippi, Stephan:
  Formally based modeling and inheritance of behaviour in object-oriented systems. 2004.

• Peuker, Sibylle:
  Concurrency Based Transition Refinement for the Verification of Distributed Algorithms. 2003.

• Edwards, Stephen A.:
  Tutorial: Compiling concurrent languages for sequential processors. 2003.

• Köhler, M.; Rölke, H.:
  Mobile Object Net Systems: Concurrency and Mobility. 2002.

• Pancerz, K.; Suraj, Z.:
  The Synthesis of Concurrent Systems Specified by Information Systems with Using the Coloured Petri Nets. 2002.

• Buy, Ugo; Singal, Gaurav:
  Toward Efficient Algorithms for Generating Compact Petri Nets from Labeled Transition Systems. 2002.

• Heljanko, Keijo; Khomenko, Victor; Koutny, Maciej:
  Parallelisation of the Petri Net Unfolding Algorithm. 2002.

• Jian, Yu; Shengyuan, Wang; Chongyi, Yuan:
  Solving inheritance anomaly with OMNets. 2002.

• Khomenko, Victor; Koutny, Maciej:
  Towards an Efficient Algorithm for Unfolding Petri Nets. 2001.

• Wang, Shengyuan; Yu, Jian; Yuan, Chongyi:
  A Net-Based Multi-tier Behavior Inheritance Modelling Method. 2001.

• Köhler, Michael; Moldt, Daniel; Rölke, Heiko:
  Modelling the Structure and Behaviour of Petri Net Agents. 2001.

• Hirshfelda, Yoram; Moller, Faron:
  Pushdown automata, multiset automata, and Petri nets. 2001.

• Philippi, Stephan:
  Visual Programming of Concurrent Object-Oriented Systems. 2001.

• Lia, Xuandong; Lilius, Johan:
  Efficient verification of a class of time Petri nets using linear programming. 2001.

• Haar, Stefan:
  Occurrence net logics. 2000.

• Klaudel, H.; Pommereau, F.:
  A concurrent and compositional Petri net semantics of preemption. 2000.

• Czaja, Ludwik:
  Process languages and nets. 2000.

• Haar, Stefan:
  Ocurrence Net Logics. 1999.

• Kindler, E.; van der Aalst, W.M.P.:
  Liveness, Fairness, and Recurrence. 1999.

• Dufourd, Catherine; Finkel, Alain:
  A polynomial lambda-bisimilar normalization for reset Petri nets. 1999.

• Fanchon, Jean:
  Trace Channel Nets. 1999.

• Haar, Stefan:
  On Occurrence Net Semantics of Petri Nets. 1999.

• Stehr, Mark-Oliver:
  Characterizing Security in Synchronization Graphs. 1999.

• Fleischhack, Hans; Grahlmann, Bernd:
  Towards compositional verification of SDL systems. 1998.

• Haar, Stefan:
  Branching Processes of general S/T-Systems and their properties. 1998.

• Haar, Stefan:
  Quotients of Relational Structures. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1998.

• Stehr, Mark-Oliver:
  Thinking in Cycles. 1998.

• Fleischhack, Hans; Grahlmann, Bernd:
  A Compositional Petri Net Semantics for SDL. 1997.

• Tarasyuk, Igor V.:
  Petri net equivalences for design of concurrent systems. 1996.

• Ustimenko, A. P.:
  Algebra of two-level cause-effect structures. 1996.

• Nielsen, M.; Sassone, V.; Winskel, G.:
  Relationships Between Models of Concurreny. 1993.

• Czaja, Ingo; van Glabbeek, Rob J.; Goltz, Ursula:
  Interleaving Semantics and Action Refinement with Atomic Choice. 1992.

• Devillers, Raymond:
  Maximality Preservation and the ST-idea for Action Refinements. 1992.

• Paech, Barbara:
  Concurrency as a Modality. 1991.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  Priorities, Inhibitor Arcs, and Concurrency in P/T Nets. 1991.

• Yen, Hsu-Chun:
  A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets. 1991.

• Best, Eike; Cherkasova, Ludmila; Desel, Jörg; Esparza, Javier:
  Traps, Free Choice and Home States (Extended Abstract). 1990.

• Strack, Veronika:
  Zur Semantik graphbasierter Modellierungsmethoden. 1990.

• Meseguer, José:
  Rewriting as a Unified Model of Concurrency. 1990.

• Grude, Ulrich:
  Concurrency for P/T-Nets. 1988.

• Burkhard, Hans-Dieter:
  ``Something to Tell'' about Non-Deterministic Interleaving and Concurrency. 1984.

• Starke, Peter H.:
  An Uninvited Adress to ``Serialisers'' and ``Non-Transitivists''. 1984.

• Starke, Peter H.:
  On the Concurrency of Distributed Systems. 1983.

• Best, Eike:
  Non-Deterministic Interleaving and the Non-Transitivity of Concurrency. 1983.

Back to the Petri Nets Bibliography