Search Sciweavers | Sciweavers

1369 search results - page 118 / 274

» On the Semantics of Petri Nets

148

Voted

EMISA
2002
Springer

82views Information Technology» more EMISA 2002»

D-extended Petri nets for simulating of digital devices

15 years 6 months ago

Download subs.emis.de

Alexei Arkadievich Veselov

claim paper

Read More »

174

Voted

CG
1998
Springer

139views Computer Graphics» more CG 1998»

Animation modeling with petri nets

15 years 6 months ago

Download www.dca.fee.unicamp.br

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

claim paper

Read More »

124

click to vote

FMSD
1998

66views more FMSD 1998»

Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets

15 years 6 months ago

Download www.cs.bham.ac.uk

Alexandre Yakovlev

claim paper

Read More »

170

Voted

CL
1999
Springer

141views Automated Reasoning» more CL 1999»

Compositional Petri net models of advanced tasking in Ada-95

15 years 6 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 »

114

click to vote

MSCS
1998

85views more MSCS 1998»

An Axiomatization of the Category of Petri Net Computations

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers