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