Publication:2740516
From MaRDI portal
zbMath1024.68072MaRDI QIDQ2740516
Publication date: 16 September 2001
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Open Petri nets, Structured Cospans, A Hybrid Approach to Modeling Biological Systems, Introduction to Petri Nets, Individuals, populations and fluid approximations: a Petri net based perspective, A verifiable low-level concurrent programming model based on colored Petri nets, Fluctuation-driven computing on number-conserving cellular automata, On fluidization of discrete event models: Observation and control of continuous Petri nets, Stochastic DES fault diagnosis with coloured interpreted Petri nets, Identification of stochastic timed discrete event systems with st-IPN, Modeling and solving rich quay crane scheduling problems, Property-preserving subnet reductions for designing manufacturing systems with shared resources, 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, Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis, Modal algebra and Petri nets, Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system, Transformation of variants of Petri nets into context-dependent fusion grammars, 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, A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems, Modular Modelling of Software Product Lines with Feature Nets, Decompositional Petri Net Reductions, An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets