scientific article
From MaRDI portal
Publication:2740516
zbMath1024.68072MaRDI QIDQ2740516
Publication date: 16 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis, Individuals, populations and fluid approximations: a Petri net based perspective, Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system, A verifiable low-level concurrent programming model based on colored Petri nets, Stochastic DES fault diagnosis with coloured interpreted Petri nets, A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems, Transformation of variants of Petri nets into context-dependent fusion grammars, Fluctuation-driven computing on number-conserving cellular automata, Identification of stochastic timed discrete event systems with st-IPN, Open Petri nets, Modeling and solving rich quay crane scheduling problems, Property-preserving subnet reductions for designing manufacturing systems with shared resources, Unnamed Item, Decompositional Petri Net Reductions, An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets, A Hybrid Approach to Modeling Biological Systems, Structured Cospans, Modular Modelling of Software Product Lines with Feature Nets, On fluidization of discrete event models: Observation and control of continuous Petri nets, Introduction to Petri Nets, Modal algebra and Petri nets, Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine, A Rigorous Model of Service Component Architecture, Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems, Deciphering the co-car anomaly of circular traffic queues using Petri nets
