What does TPN stand for?

Time Petri Net

This definition appears very rarely and is found in the following Acronym Finder categories:

Information technology (IT) and computers

Other Resources:

<< Previous	Abbreviation Database Surfer		Next >>
Transaction Processing Monitor Technology T1 Performance Monitoring Unit (Hekimian) Tomato Planta Macho Viroid Tactical Packet Network Tatrzanski Park Narodowy (Polish: Tatry Mountains National Park) Tennant Profile Network (South Africa) The Perspectives Network The Pixelgeek Network (website) The Project Network Three Phase and Neutral		Timed Petri Net Tooth-Pulp Driven Neuron (dentistry) Total Parenteral Nutrition Trade Policy and Negotiations (various locations) Trading Partner Network Trading Partner Number Transaction Processing Network Transatlantic Policy Network (est. 1992) Travelocity Partner Network (Texas) Triphosphopyridine Nucleotide

Samples in periodicals archive:

Researchers Merz and Navet and their contributors therefore offer a variety of tools, starting with analysis methods and verification of time Petri nets, verification of reactive systems through verification and performance testing, model checking (including of timed automata), specification and analysis of asynchronous systems using technology, synchronous program verification, synchronous functional programming, verification with real-time probabilistic systems, verification of probabilistic systems methods and tools, modeling and verification of real-time systems, and architecture description languages, including a case study.

Modeling and verification of real-time systems; formalisms and ...

Topics include throughput analysis of synchronous data flow graphs, extended time automata and time Petri nets, models of computation for networks on chip, an algebra of abstractions for communication processes, concurrency in distributed systems under autonomous and enforced actions.

Application of concurrency to system design; proceedings