scientific article; zbMATH DE number 4028914
From MaRDI portal
Publication:3769974
Recommendations
Cited in
(81)- A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
- scientific article; zbMATH DE number 3988724 (Why is no real title available?)
- Equivalence checking of Petri net models of programs using static and dynamic cut-points
- Linear-algebraic methods for the description, refinement, and analysis of coloured Petri nets
- The modeling of flow of IT equipment to a unit of services IT by coloured Petri net
- Modeling and simulation of a team game with coloured Petri nets
- A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
- scientific article; zbMATH DE number 1049168 (Why is no real title available?)
- Analysing a mechatronic system with coloured Petri nets.
- Analysing superscalar processor architectures with coloured Petri nets
- Vocabulary Petri nets
- Chromar, a rule-based language of parameterised objects
- A data-centric approach to manage business processes
- From DB-nets to Coloured Petri Nets with Priorities
- On the abstraction of coloured Petri Nets
- Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
- scientific article; zbMATH DE number 4037228 (Why is no real title available?)
- Colouring space -- a coloured framework for spatial modelling in systems biology
- scientific article; zbMATH DE number 4119637 (Why is no real title available?)
- An introduction to signed Petri net
- scientific article; zbMATH DE number 1983182 (Why is no real title available?)
- A symbolic reachability graph for coloured Petri nets
- Composition colored Petri nets for the refinement of reaction-based models
- scientific article; zbMATH DE number 1540512 (Why is no real title available?)
- Improving UML with Petri nets
- Petri nets with individual tokens
- Covering step graph
- Petri nets and algebraic specifications
- scientific article; zbMATH DE number 4130035 (Why is no real title available?)
- Signal preemption control of emergency vehicles based on timed colored Petri nets
- Lectures on Concurrency and Petri Nets
- Colored Petri nets and the matrix approach
- An environment for rapid prototyping of interactive systems
- Towards massively parallel computations in algebraic geometry
- Generalized Nets as a Tool for the Modelling of Data Mining Processes
- scientific article; zbMATH DE number 50851 (Why is no real title available?)
- Computational challenges in systems biology
- Chromar, a language of parameterised agents
- An efficient algorithm for the computation of stubborn sets of well formed Petri nets
- Research on the particular subclass of a class coloured Petri nets
- Crocodile: a symbolic/symbolic tool for the analysis of symmetric nets with bag
- Faster simulation of (coloured) Petri nets using parallel computing
- Modeling and analysis of network control system based on hierarchical coloured Petri net and Markov chain
- Strategies for modeling complex processes using colored Petri nets
- Relating state-based and process-based concurrency through linear logic (full-version)
- Formulation of cell Petri nets
- Mobile Petri nets
- scientific article; zbMATH DE number 4001495 (Why is no real title available?)
- Modelling and analysis of distributed program execution in BETA using coloured Petri nets
- The ins and outs of Petri net composition
- scientific article; zbMATH DE number 107927 (Why is no real title available?)
- Extended colored Petri net: An efficient tool for analyzing concurrent systems
- Some behavioural aspects of net theory
- scientific article; zbMATH DE number 1696457 (Why is no real title available?)
- scientific article; zbMATH DE number 1696464 (Why is no real title available?)
- Parallelism, concurrency and distribution in constraint handling rules: a survey
- scientific article; zbMATH DE number 1533828 (Why is no real title available?)
- scientific article; zbMATH DE number 3858426 (Why is no real title available?)
- Temporal uncertainty and fuzzy-timing high-level Petri nets
- Siphons, traps and high-level nets with infinite color domains
- A new class of a high-level Petri net for modelling logical OR efficiently: Coloured AND/OR Petri nets (CARPN)
- Formal modeling and verification for MVB
- Three level Petri nets
- scientific article; zbMATH DE number 3874631 (Why is no real title available?)
- scientific article; zbMATH DE number 1782375 (Why is no real title available?)
- The practitioner's guide to coloured Petri nets.
- A Look Around the Corner: The Pi-Calculus
- scientific article; zbMATH DE number 3890746 (Why is no real title available?)
- A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
- Automatic verification for a class of distributed systems
- Automated Technology for Verification and Analysis
- Switched LAN simulation by colored Petri nets
- scientific article; zbMATH DE number 1696463 (Why is no real title available?)
- Relating state-based and process-based concurrency through linear logic
- scientific article; zbMATH DE number 3988723 (Why is no real title available?)
- SNAKES: a flexible high-level Petri nets library (tool paper)
- Algebraic nets with flexible arcs
- Optimized Colored Nets Unfolding
- scientific article; zbMATH DE number 2084348 (Why is no real title available?)
- \(N\) degrees of separation: Influences of dynamic programming on computer science
- Net-based analysis of event processing networks -- the fast flower delivery case
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3769974)
