Nested-unit Petri nets
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4018370 (Why is no real title available?)
- scientific article; zbMATH DE number 4018372 (Why is no real title available?)
- scientific article; zbMATH DE number 3825184 (Why is no real title available?)
- scientific article; zbMATH DE number 3896316 (Why is no real title available?)
- scientific article; zbMATH DE number 3917726 (Why is no real title available?)
- scientific article; zbMATH DE number 4030996 (Why is no real title available?)
- scientific article; zbMATH DE number 4030999 (Why is no real title available?)
- scientific article; zbMATH DE number 4031001 (Why is no real title available?)
- scientific article; zbMATH DE number 4037225 (Why is no real title available?)
- scientific article; zbMATH DE number 4060688 (Why is no real title available?)
- scientific article; zbMATH DE number 3755880 (Why is no real title available?)
- scientific article; zbMATH DE number 107927 (Why is no real title available?)
- scientific article; zbMATH DE number 176129 (Why is no real title available?)
- scientific article; zbMATH DE number 3557247 (Why is no real title available?)
- scientific article; zbMATH DE number 3596235 (Why is no real title available?)
- scientific article; zbMATH DE number 1302042 (Why is no real title available?)
- scientific article; zbMATH DE number 512822 (Why is no real title available?)
- scientific article; zbMATH DE number 591002 (Why is no real title available?)
- scientific article; zbMATH DE number 1136090 (Why is no real title available?)
- scientific article; zbMATH DE number 2064221 (Why is no real title available?)
- scientific article; zbMATH DE number 1515290 (Why is no real title available?)
- scientific article; zbMATH DE number 1754627 (Why is no real title available?)
- scientific article; zbMATH DE number 1759602 (Why is no real title available?)
- scientific article; zbMATH DE number 1903363 (Why is no real title available?)
- A Theory of Communicating Sequential Processes
- A calculus of communicating systems
- A distributed operational semantics of CCS based on condition/event systems
- A formal definition of hierarchical predicate transition nets
- A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis
- A method for stepwise refinement and abstraction of Petri nets
- A static view of localities
- A theory of processes with localities
- A unified model for nets and process algebras
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- An algebra of concurrent non-deterministic processes
- An algebra of non-safe Petri boxes
- Analysis of Petri nets by stepwise refinements
- Applications and Theory of Petri Nets 2004
- Automata, languages and programming. 26th international colloquium, ICALP `99. Prague, Czech Republic, July 11--15, 1999. Proceedings
- Axiomatizing CCS, nets and processes
- Building efficient model checkers using hierarchical set decision diagrams and automatic saturation
- Complexity results for 1-safe nets
- Concurrent regular expressions and their relationship to Petri nets
- Finite representations of CCS and TCSP programs by automata and Petri nets
- Flow models of distributed computations: Three equivalent semantics for CCS
- Formal analysis of hierarchical state machines
- From LOTOS to LNT
- Hierarchical Set Decision Diagrams and Regular Models
- Hierarchical reachability graph generation for Petri nets
- Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis
- Lectures on Concurrency and Petri Nets
- Nested Petri nets: Multi-level and recursive systems.
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
- Nets, Terms and Formulas
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
- Observing localities
- On the implementation of concurrent calculi in net calculi: two case studies
- Parameterized Complexity Results for 1-safe Petri Nets
- Petri Nets as Token Objects
- Process algebra for synchronous communication
- Process algebras with localities.
- Representing CCS programs by finite predicate-transition nets
- S-invariant analysis of general recursive Petri boxes
- Series-parallel languages and the bounded-width property
- State space reduction for process algebra specifications
- Statecharts: a visual formalism for complex systems
- Ten years of saturation: a Petri net perspective
- The box algebra = Petri nets + process expressions
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
Cited in
(11)- Accelerating the computation of dead and concurrent places using reductions
- Union decomposition of Petri net
- scientific article; zbMATH DE number 1515290 (Why is no real title available?)
- Preface to the special issue on open problems in concurrency theory
- Automatic decomposition of Petri nets into automata networks -- a synthetic account
- Efficient algorithms for three reachability problems in safe Petri nets
- Sharp congruences adequate with temporal logics combining weak and strong modalities
- NUPN_INFO
- Experimenting with stubborn sets on Petri nets
- Nested-unit Petri nets: a structural means to increase efficiency and scalability of verification on elementary nets
- Cartesian difference categories
Describes a project that uses
Uses Software
This page was built for publication: Nested-unit Petri nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2423743)
