scientific article

zbMath0632.68058MaRDI QIDQ3769974

Kurt Jensen

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coloured Petri netsplace invariantsreachability treespredicate/transition netshigh level Petri net

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (28)

A data-centric approach to manage business processes ⋮ Chromar, a rule-based language of parameterised objects ⋮ Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ Parallelism, concurrency and distribution in constraint handling rules: A survey ⋮ The ins and outs of Petri net composition ⋮ Formal modeling and verification for MVB ⋮ An efficient algorithm for the computation of stubborn sets of well formed Petri Nets ⋮ A symbolic reachability graph for coloured Petri nets ⋮ Chromar, a language of parameterised agents ⋮ Some behavioural aspects of net theory ⋮ Computational challenges in systems biology ⋮ Automatic verification for a class of distributed systems ⋮ Signal preemption control of emergency vehicles based on timed colored Petri nets ⋮ Temporal uncertainty and fuzzy-timing high-level Petri nets ⋮ Covering step graph ⋮ An introduction to signed Petri net ⋮ Composition colored Petri nets for the refinement of reaction-based models ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project. ⋮ An environment for rapid prototyping of interactive systems ⋮ Algebraic nets with flexible arcs ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Towards massively parallel computations in algebraic geometry ⋮ A Look Around the Corner: The Pi-Calculus ⋮ Modeling and analysis of network control system based on hierarchical coloured Petri net and Markov chain ⋮ Mobile Petri nets ⋮ \(N\) degrees of separation: Influences of dynamic programming on computer science ⋮ Petri nets and algebraic specifications

This page was built for publication: