scientific article; zbMATH DE number 1049168
From MaRDI portal
Publication:4348471
zbMath0883.68098MaRDI QIDQ4348471
Publication date: 17 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coloured Petri netsCP-netstransaction processingVLSI chiparbiter cascadedocument storage systemnetwork management system
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Modelling and verification of weighted spiking neural systems, Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins, Modeling and verification of the SDL-specified communication protocols using high-level Petri nets, Concurrent abstract state machines, Component-Based Security Policy Design with Colored Petri Nets, Petri nets for modelling metabolic pathways: a survey, Equivalence checking of Petri net models of programs using static and dynamic cut-points, Restrictions and representations of vector controlled concurrent system behaviours, A symbolic reachability graph for coloured Petri nets, Parametric Language Analysis of the Class of Stop-and-Wait Protocols, Coloured Petri net scheduling models: Timed state space exploration shortages, Encoding the dynamics of deterministic systems, Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets, FMS scheduling based on timed Petri net model and reactive graph search, Verification of membrane systems with delays via Petri nets with delays, Recursive Petri nets, Analysis of multi-agent activity using Petri nets, Soundness of workflow nets: classification, decidability, and analysis, Paradigm of computations on the Petri nets, Model transformation and formal verification for semantic web services composition, Analyzing permutation capability of multistage interconnection networks with colored Petri nets, An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets, Formalizing Collaboration Goal Sequences for Service Choreography, PN Standardisation: A Survey, A structural approach to graph transformation based on symmetric Petri nets, Exploiting colored Petri nets to decide on permutation admissibility, Novel Conflict Resolution Model for Multi-Uav Based on Cpn and 4d Trajectories, Formal specification and verification of decentralized self-adaptive systems using symmetric nets, Operational and denotational semantics for the box algebra, Switched LAN simulation by colored Petri nets, On the Expressiveness of Mobile Synchronizing Petri Nets, Coding Mobile Synchronizing Petri Nets into Rewriting Logic, Minimal cut sets of a coherent fault tree generation using reverse Petri nets, Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine, Qualitative simulation of temporal concurrent processes using time interval Petri nets
