Search Sciweavers | Sciweavers

1019 search results - page 113 / 204

» Petri Net Transformations in the

click to vote

EMISA
2002
Springer

82views Information Technology» more EMISA 2002»

D-extended Petri nets for simulating of digital devices

13 years 7 months ago

Download subs.emis.de

Alexei Arkadievich Veselov

claim paper

Read More »

click to vote

CG
1998
Springer

139views Computer Graphics» more CG 1998»

Animation modeling with petri nets

13 years 7 months ago

Download www.dca.fee.unicamp.br

Léo Pini Magalhães, Alberto Barbosa ...

claim paper

Read More »

click to vote

FMSD
1998

66views more FMSD 1998»

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

13 years 7 months ago

Download www.cs.bham.ac.uk

Alexandre Yakovlev

claim paper

Read More »

click to vote

CL
1999
Springer

141views Automated Reasoning» more CL 1999»

Compositional Petri net models of advanced tasking in Ada-95

13 years 7 months ago

Download www.cs.uic.edu

Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

click to vote

MSCS
1998

85views more MSCS 1998»

An Axiomatization of the Category of Petri Net Computations

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers