- Nonprimitive recursive complexity and undecidability for Petri net equivalences Petr Jančar Wed 10 August 2022
- State Complexity of Protocols with Leaders Jérôme Leroux Tue 26 July 2022
- The Reachability Problem for Petri Nets Is Not Elementary Wojciech Czerwiński Sławomir Lasota Ranko Lazić JÉrôme Leroux Filip Mazowiecki Wed 31 March 2021
- When Reachability Meets Grzegorczyk Jérôme Leroux Sat 30 May 2020
- Minimal Coverability Tree Construction Made Complete and Efficient Alain Finkel Serge Haddad Igor Khmelnitsky Mon 16 March 2020
- The Reachability Problem for Petri Nets is Not Elementary Wojciech Czerwiński Sławomir Lasota Ranko Lazić Jérôme Leroux Filip Mazowiecki Mon 19 August 2019
- On the expressiveness of higher dimensional automata R.J. van Glabbeek Wed 19 June 2019
- A Reachability Algorithm for General Petri Nets Based on Transition Invariants Alexander E. Kostin Fri 27 April 2018
- Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes Javier Esparza Tue 12 December 2017
- Recent and simple algorithms for Petri nets Alain Finkel Jérôme Leroux Tue 27 October 2015
- The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets Serge Haddad Sylvain Schmitz Philippe Schnoebelen Mon 24 August 2015
- Timed Petri Nets with (restricted) Urgency S Akshay Blaise Genest Loic Hélouet Wed 22 April 2015
- A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters Laurent Fribourg Hans Olsén Wed 29 October 2014
- Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks G. Florin S. Natkin Mon 14 April 2014
- Modeling and Verification of Time Dependent Systems Using Time Petri Nets Bernard Berthomieu Michel Diaz Thu 16 January 2014
- A Primitive Recursive Algorithm for the General Petri Net Reachability Problem Zakariae Bouziane Mon 02 December 2013
- Some Decidability Results for Nested Petri Nets Irina A. Lomazova Ph. Schnoebelen Sat 30 November 2013
- Algorithmic verification of asynchronous programs Pierre Ganty Rupak Majumdar Tue 12 November 2013
- Recent results on the complexity of problems related to Petri nets Rodney R. Howell LouisE. Rosier Mon 11 November 2013
- Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report) E. Cardoza R. Lipton A. R. Meyer Mon 11 November 2013
- A structure to decide reachability in Petri nets J. L. Lambert Mon 11 November 2013
- Vector Addition Systems Reachability Problem (A Simpler Solution) Jérôme Leroux Mon 11 November 2013
- The Complexity of the Finite Containment Problem for Petri Nets Ernst W. Mayr Albert R. Meyer Tue 05 November 2013
- Undecidability of bisimilarity for Petri nets and some related problems Petr Jančar Mon 04 November 2013
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods Koushik Sen Mahesh Viswanathan Wed 02 October 2013
- An algorithm for the general Petri net reachability problem Ernst W. Mayr Mon 30 September 2013
- Petri Nets and Languages Henry G. Baker Wed 25 September 2013
- Decidability Questions for Petri Nets M. Hack Wed 25 September 2013
- A theory of structural stationarity in the -Calculus Roland Meyer Thu 29 August 2013
- Structural Stationarity in the pi-Calculus Roland Meyer Thu 29 August 2013
- Reset nets between decidability and undecidability C. Dufourd A. Finkel Ph. Schnoebelen Wed 27 March 2013
- Petri nets with marking-dependent arc cardinality: Properties and analysis Gianfranco Ciardo Wed 27 March 2013
- Some decision problems related to the reachability problem for Petri nets Toshiro Araki Tadao Kasami Wed 27 March 2013
- Approximating Petri Net Reachability Along Context-free Traces Mohamed Faouzi Atig Pierre Ganty Tue 26 March 2013
- A technique of state space search based on unfolding K. L. McMillan Fri 22 February 2013
- Time supervision of concurrent systems using symbolic unfoldings of time petri nets Thomas Chatain Claude Jard Fri 22 February 2013
- An introduction to event structures Glynn Winskel Thu 21 February 2013
- ømega-Petri nets Gilles Geeraerts Alexander Heußner M. Praveen Jean-François Raskin Sun 03 February 2013
- Complexity of some problems in Petri nets Neil D. Jones Lawrence H. Landweber Y. Edmund Lien Sat 29 December 2012
- The covering and boundedness problems for vector addition systems Charles Rackoff Tue 18 December 2012
- Nets with tokens which carry data Ranko Lazic Tom Newcomb Joel Ouaknine A. W. Roscoe James Worrell Tue 18 December 2012
- Decidability Issues for Petri Nets - a survey Javier Esparza Mogens Nielsen Tue 18 December 2012
- Parallel program schemata Richard M. Karp Raymond E. Miller Fri 26 October 2012
- A survey on the decidability questions for classes of fifo nets A. Finkel L. Rosier Mon 08 October 2012
- Complexity results for 1-safe nets Allan Cheng Javier Esparza Jens Palsberg Wed 03 October 2012
- Analysis of recursively parallel programs Ahmed Bouajjani Michael Emmi Thu 20 September 2012
- Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences Patricia Bouyer Serge Haddad Pierre-Alain Reynier Thu 20 September 2012
- A False History of True Concurrency: From Petri to Tools Javier Esparza Wed 11 July 2012
- Decidability and complexity of Petri net problems --- An introduction Javier Esparza Wed 11 July 2012
- Efficient verification of parallel real-time systems Tomohiro Yoneda Atsufumi Shibayama Bernd-Holger Schlingloff Edmund M. Clarke Sat 07 July 2012
- Model Checking Vector Addition Systems with one zero-test Rémi Bonnet Alain Finkel Jérôme Leroux Marc Zeitoun Thu 05 July 2012
- The reachability problem for vector addition system with one zero-test Rémi Bonnet Thu 05 July 2012
- Reachability in Petri Nets with Inhibitor Arcs Klaus Reinhardt Thu 05 July 2012
- Two-variable logic on data words Mikołaj Bojańczyk Claire David Anca Muscholl Thomas Schwentick Luc Segoufin Sat 30 June 2012
- Vector addition system reachability problem: a short self-contained proof Jérôme Leroux Wed 13 June 2012
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets Parosh Aziz Abdulla Richard Mayr Wed 02 May 2012
Library Size: 13G (56 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
