Nested-unit Petri nets
From MaRDI portal
Publication:2423743
DOI10.1016/j.jlamp.2018.11.005zbMath1427.68195OpenAlexW2911619070WikidataQ128458757 ScholiaQ128458757MaRDI QIDQ2423743
Publication date: 20 June 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-02072190/file/Garavel-19.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Accelerating the computation of dead and concurrent places using reductions ⋮ Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account ⋮ Cartesian difference categories ⋮ Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities ⋮ NUPN_INFO ⋮ Preface to the special issue on open problems in concurrency theory ⋮ Efficient algorithms for three reachability problems in safe Petri nets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complexity results for 1-safe nets
- On the implementation of concurrent calculi in net calculi: two case studies
- Observing localities
- State space reduction for process algebra specifications
- A method for stepwise refinement and abstraction of Petri nets
- Statecharts: a visual formalism for complex systems
- A distributed operational semantics of CCS based on condition/event systems
- Representing CCS programs by finite predicate-transition nets
- A calculus of communicating systems
- An algebra of concurrent non-deterministic processes
- Concurrent regular expressions and their relationship to Petri nets
- Finite representations of CCS and TCSP programs by automata and Petri nets
- A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis
- Analysis of Petri nets by stepwise refinements
- Automata, languages and programming. 26th international colloquium, ICALP `99. Prague, Czech Republic, July 11--15, 1999. Proceedings
- Axiomatizing CCS, nets and processes
- A theory of processes with localities
- A static view of localities
- Flow models of distributed computations: Three equivalent semantics for CCS
- Series-parallel languages and the bounded-width property
- The box algebra = Petri nets + process expressions
- Hierarchical reachability graph generation for Petri nets
- S-invariant analysis of general recursive Petri boxes
- Ten Years of Saturation: A Petri Net Perspective
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- An Algebra of Non-safe Petri Boxes
- Parameterized Complexity Results for 1-safe Petri Nets
- Hierarchical Set Decision Diagrams and Regular Models
- Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
- Process algebra for synchronous communication
- A Theory of Communicating Sequential Processes
- Nets, Terms and Formulas
- Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
- A formal definition of hierarchical predicate transition nets
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
- From LOTOS to LNT
- Petri Nets as Token Objects
- Verification: Theory and Practice
- Lectures on Concurrency and Petri Nets
- Applications and Theory of Petri Nets 2004
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
This page was built for publication: Nested-unit Petri nets